Data Types as Values: Polymorphism, Type-Checking, Encapsulation.

Alan J. Demers, James E. Donahue, Glenn Skinner

Browse the full POPL paper archive.