lewe91

X. Leroy, P. Weis. Polymorphic Type Inference and Assignment. In Proc. 18th Annual ACM Symp. on Principles of Programming Languages, Orlando, Florida, Pages 291-302, January 1991.

Keyword

[ Parametricity ]

Contact

Xavier Leroy
Pierre Weis

BibTex Reference

@InProceedings{lewe91,
   Author = {Leroy, X. and Weis, P.},
   Title = {Polymorphic Type Inference and Assignment},
   BookTitle = {Proc. 18th Annual ACM Symp. on Principles of Programming Languages, Orlando, Florida},
   Pages = {291--302},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)