3 Nathaniel Nystrom Vijay Saraswat Jens Palsberg Christian Grothoff 2008 Constrained Types for Object-Oriented Languages 16th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications ACM SIGPLAN http://grothoff.org/christian/oopsla2008.pdf