Simple type inference for structural polymorphism (2002)

by Jacques Garrigue
Venue:In: The Ninth International Workshop on Foundations of Object-Oriented Languages
Citations:8 - 4 self