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

by Jason Hickey
Venue:In Proceedings of the 3rd International Workshop on Foundations of Object-Oriented Languages