ThisJava: An Extension of Java with Exact Types.

Hyunik Na, Sukyoung Ryu

Browse the full APLAS paper archive.