Program Representation Size in an Intermediate Language with Intersection and Union Types (2000)

by Allyn Dimock , Ian Westmacott , Robert Muller , Franklyn Turbak , J. B. Wells , Jeffrey Considine
Venue:In Proceedings of the Third Workshop on Types in Compilation (TIC 2000
Citations:9 - 7 self