Program representation size in an intermediate language with intersection and union types (2001)

by A Dimock, I Westmacott, R Muller, F Turbak, J B Wells, J Considine