Representing Java Classes in a Typed Intermediate Language.

Christopher League, Zhong Shao, Valery Trifonov

Browse the full ICFP paper archive.