A framework for implementing pluggable type systems.

Chris Andreae, James Noble, Shane Markstrum, Todd D. Millstein

Browse the full OOPSLA paper archive.