Compile-time type-checking for custom type qualifiers in Java.

Matthew M. Papi, Michael D. Ernst

Browse the full OOPSLA paper archive.