kami89

P. Kanellakis, J. Mitchell. Polymorphic Unification and ML Typing (Extended Abstract). In Proc. 16th Annual ACM Symp. on Principles of Programming Languages, to appear, January 1989.

Keyword

[ Parametricity ]

Contact

Paris C. Kanellakis
J.C. Mitchell

BibTex Reference

@InProceedings{kami89,
   Author = {Kanellakis, P. and Mitchell, J.},
   Title = {Polymorphic Unification and {ML} Typing (Extended Abstract)},
   BookTitle = {Proc. 16th Annual ACM Symp. on Principles of Programming Languages},
   Month = {January},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)