Constrained types for object-oriented languages.

Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff

Browse the full OOPSLA paper archive.