Implementing typed intermediate languages (1998)

by Zhong Shao, Christopher League, Stefan Monnier
Venue:In ICFP ’98: Proceedings of the third ACM SIGPLAN international conference on Functional programming