D.: Typing a multi-language intermediate code (2001)

by A D Gordon, Syme
Venue:In: Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages