Jump to : Keyword | Contact | BibTex reference | EndNote reference |

Jon94

Mark P. Jones. ML Typing, Explicit Polymorphism, and Qualified Types. In Proc. Conf. on Theoretical Aspects of Computer Science (TACS), Sendai, Japan, Lecture Notes in Computer Science, Vol. 789, Pages 56-75, 1994.

Keyword

[ Parametricity ]

Contact

Mark P. Jones

BibTex Reference

@InProceedings{Jon94,
   Author = {Jones, Mark P.},
   Title = {{ML} Typing, Explicit Polymorphism, and Qualified Types},
   BookTitle = {Proc. Conf. on Theoretical Aspects of Computer Science (TACS), Sendai, Japan},
   Pages = {56--75},
   Publisher = {Springer-Verlag},
   Year = {1994}
}

EndNote Reference [help]

Get EndNote Reference (.ref)