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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)