mi88

J. Mitchell. Polymorphic Type Inference and Containment. Information and Control, 76:211-249, 1988.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@article{mi88,
   Author = {Mitchell, J.},
   Title = {Polymorphic Type Inference and Containment},
   Journal = {Information and Control},
   Volume = {76},
   Pages = {211--249},
   Year = {1988}
}

EndNote Reference [help]

Get EndNote Reference (.ref)