A Unifying Type-Theoretic Framework for Objects (1993)

by Martin Hofmann, Benjamin Pierce