aiwi93

Alexander Aiken, Edward L. Wimmers. Type Inclusion Constraints and Type Inference. In Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Copenhagen, Denmark, Pages 31-41, June 1993.

Keyword

[ Parametricity ]

Contact

A. Aiken
E. Wimmers

BibTex Reference

@InProceedings{aiwi93,
   Author = {Aiken, Alexander and Wimmers, Edward L.},
   Title = {Type Inclusion Constraints and Type Inference},
   BookTitle = {Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Copenhagen, Denmark},
   Pages = {31--41},
   Publisher = {ACM Press},
   Month = {June},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)