mi84

J. Mitchell. Type Inference and Type Containment. In Proc. Int'l Symp. on Semantics of Data Types, LNCS 173, Pages 257-277, June 1984.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@InProceedings{mi84,
   Author = {Mitchell, J.},
   Title = {Type Inference and Type Containment},
   BookTitle = {Proc. Int'l Symp. on Semantics of Data Types, LNCS 173},
   Pages = {257--277},
   Month = {June},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)