Program Representation Size in an Intermediate Language with Intersection and Union Types. - Allyn Dimock; Ian Westmacott; Robert Muller; Franklyn A. Turbak; J. B. Wells; Jeffrey Considine (Types in Compilation, 2000)

Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. - Allyn Dimock; Ian Westmacott; Robert Muller; Franklyn A. Turbak; J. B. Wells (ICFP, 2001)