Formal objects in type theory using very dependent types (1996)

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