Implementing typed intermediate languages (1998)

by Z Shao, C League, S Monnier
Venue:In Proc. 1998 ACM SIGPLAN International Conference on Functional Programming