A Unifying Type-Theoretic Framework for Objects (1993)

Cached

Download Links

by Martin Hofmann , Benjamin Pierce
Citations:37 - 9 self