A unifying type-theoretic framework for objects (1994)

by M Hofmann, B C Pierce
Venue:Proc. Symposium on Theoretical Aspects of Computer Science