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. In Robert Harper, editor, Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Volume 2071 of Lecture Notes in Computer Science, pages 27-52, Springer, 2000. [doi]
Abstract is missing.