Nathaniel Nystrom Vijay A. Saraswat Jens Palsberg Christian Grothoff Constrained types for object-oriented languages. 457-474 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449800 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#NystromSPG08