Geoffrey Smith. Polymorphic Type Inference with Overloading and Subtyping. In Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France, M.-C. Gaudel, J.-P. Jouannaud (eds.), Lecture Notes in Computer Science, Volume 668, Pages 671-685, April 1993.
[ Parametricity ]
@InProceedings{smith93,
Author = {Smith, Geoffrey},
Title = {Polymorphic Type Inference with Overloading and Subtyping},
BookTitle = {Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France},
editor = {Gaudel, M.-C. and Jouannaud, J.-P.},
Volume = {668},
Pages = {671--685},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer-Verlag},
Month = {April},
Year = {1993}
}
Get EndNote Reference (.ref)