Formal Objects in Type Theory Using Very Dependent Types (1996)

by Jason J. Hickey
Venue:In Foundations of Object Oriented Languages 3
Citations:29 - 8 self

Document Versions

Formal Objects in Type Theory Using Very Dependent Types –Jason J. Hickey — 1996 — In Foundations of Object Oriented Languages 3
Formal objects in type theory using very dependent types –Jason J. Hickey — 1996 — In Foundations of Object Oriented Languages 3