Martin Sulzmann, Martin Odersky, Martin Wehr. Type Inference with constrained types. In Proc.\ 4th Int'l Workshop on Foundations of Object-Oriented Languages (FOOL), Paris, France, Benjamin Pierce (ed.), Published electronically at \texttthttp://www.cs.williams.edu/\\ kim/FOOL/, January 1997.
[ Parametricity ]
Martin Sulzmann
Martin Odersky
Martin Wehr
@InProceedings{sow97,
Author = {Sulzmann, Martin and Odersky, Martin and Wehr, Martin},
Title = {Type Inference with constrained types},
BookTitle = {Proc.\ 4th Int'l Workshop on Foundations of Object-Oriented Languages (FOOL), Paris, France},
editor = {Pierce, Benjamin},
Month = {January},
Year = {1997}
}
Get EndNote Reference (.ref)