A Unifying Type-Theoretic Framework for Objects (1993)

Cached

Download Links

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

Document Versions

A Unifying Type-Theoretic Framework for Objects –Martin Hofmann, Benjamin Pierce — 1993
A Unifying Type-Theoretic Framework for Objects –Martin Hofmann, Benjamin Pierce — 1993