Object-Oriented Type (1991)

by J Palsberg, M I Schwartzbach
Venue:In Proceedings of the ACM Conference on ObjectOriented Programming: Systems, Languages, and Applications