mc84

N. McCracken. The Typechecking of Programs with Implicit Type Structure. In Proc. Int'l Symp. on Semantics of Data Types, Lecture Notes in Computer Science, Vol. 173, Pages 301-316, June 1984.

Keyword

[ Parametricity ]

Contact

N. McCracken

BibTex Reference

@InProceedings{mc84,
   Author = {McCracken, N.},
   Title = {The Typechecking of Programs with Implicit Type Structure},
   BookTitle = {Proc. Int'l Symp. on Semantics of Data Types},
   Pages = {301--316},
   Publisher = {Springer-Verlag},
   Month = {June},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)