mitchell91a

J. Mitchell. Type Inference with Simple Subtypes. J. Functional Programming, 1(3):245-285, July 1991.

Keyword

[ Parametricity ]

Contact

J.C. Mitchell

BibTex Reference

@article{mitchell91a,
   Author = {Mitchell, J.},
   Title = {Type Inference with Simple Subtypes},
   Journal = {J. Functional Programming},
   Volume = {1},
   Number = {3},
   Pages = {245--285},
   Month = {July},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)