Representing java classes in a typed intermediate language (1999)

by C League, Z Shao, V Trifonov
Venue:In Proceedings of ACM International Conference on Functional Programming