Object type constructors. Submitted for publication. A preliminary version appeared (1996)

by Dominic Duggan
Venue:in the Workshop on Foundations of Object-Oriented Languages