my84

A. Mycroft. Polymorphic Type Schemes and Recursive Definitions. In Proc. 6th Int. Conf. on Programming, LNCS 167, 1984.

Keyword

[ Parametricity ]

Contact

Alan Mycroft

BibTex Reference

@InProceedings{my84,
   Author = {Mycroft, A.},
   Title = {Polymorphic Type Schemes and Recursive Definitions},
   BookTitle = {Proc. 6th Int. Conf. on Programming, LNCS 167},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)