where clauses: Constraining parametric polymorphism (1995)

by John Mitchell
Venue:In Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications