re89

Didier Rémy. Typechecking Records and Variants in a Natural Extension of ML. In Proc. 16th Annual ACM Symp. on Principles of Programming Languages, Pages 77-88, January 1989.

Keyword

[ Parametricity ]

BibTex Reference

@InProceedings{re89,
   Author = {Rémy, Didier},
   Title = {Typechecking Records and Variants in a Natural Extension of {ML}},
   BookTitle = {Proc. 16th Annual ACM Symp. on Principles of Programming Languages},
   Pages = {77--88},
   Month = {January},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)