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

by Jason J. Hickey
Venue:In Foundations of Object Oriented Languages 3