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 Program Representation Size in an Intermediate Language with Intersection and Union Types. 27-52 2000 conf/tic/2000 Types in Compilation http://dx.doi.org/10.1007/3-540-45332-6_2 db/conf/tic/tic2000.html#DimockWMTWC00