Zhong Shao Christopher League Stefan Monnier Implementing Typed Intermediate Languages. 313-323 1998 ICFP http://doi.acm.org/10.1145/289423.289460 db/conf/icfp/icfp98.html#ShaoLM98