Ian Westmacott

Publication Activity (10 Years)

Years Active: 2000-2001
Publications (10 Years): 0

Publications

Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. ICFP (2001)
Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine
Program Representation Size in an Intermediate Language with Intersection and Union Types. Types in Compilation (2000)