Representing Java classes in a typed intermediate language (1999)

by C League, Z Shao, V Trifonov
Venue:In Proc. 1999 ACM SIGPLAN Int’l Conf. on Functional Prog