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

sow97

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.

Keyword

[ Parametricity ]

Contact

Martin Sulzmann
Martin Odersky
Martin Wehr

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)