Modelling features of object-oriented languages second order functional languages with subtypes (1991)

by Giorgio Ghelli
Venue:Proceedings of Foundations of Object-Oriented Languages, LNCS