mmms87

A. Meyer, J. Mitchell, E. Moggi, R. Statman. Empty Types in Polymorphic Lambda Calculus. In Proc. 14th Annual ACM Symp. on Principles of Programming Languages, Pages 253-262, January 1987.

Keywords

[ Parametricity ] [ Typetheory ]

Contact

A. Meyer
J.C. Mitchell
E. Moggi
R. Statman

BibTex Reference

@InProceedings{mmms87,
   Author = {Meyer, A. and Mitchell, J. and Moggi, E. and Statman, R.},
   Title = {Empty Types in Polymorphic Lambda Calculus},
   BookTitle = {Proc. 14th Annual ACM Symp. on Principles of Programming Languages},
   Pages = {253--262},
   Month = {January},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)