M.I.: Developments in Object-Oriented Type Systems (1994)

by Schwartzbach
Venue:In: Tutorial Notes of the 21st Annual SIGACT-SIGPLAN Symposium on Principles of Programming Languages