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

Matthew M. Papi, Mahmood Ali, Michael D. Ernst

Browse the full OOPSLA paper archive.