Type inference with constrained types (1997)

by Martin Odersky , Martin Sulzmann , Martin Wehr
Venue:Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)
Citations:46 - 5 self