Implementing typed intermediate languages. (1998)

by Zhong Shao, Christopher League, Stefan Monnier
Venue:In Proc. Int’l Conf. Functional Programming,