Chris Andreae James Noble Shane Markstrum Todd D. Millstein A framework for implementing pluggable type systems. 57-74 2006 conf/oopsla/2006 OOPSLA http://doi.acm.org/10.1145/1167473.1167479 db/conf/oopsla/oopsla2006.html#AndreaeNMM06