System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.

Sébastien Carlier Jeff Polakow J. B. Wells A. J. Kfoury System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. 294-309 http://dx.doi.org/10.1007/978-3-540-24725-8_21 2004 conf/esop/2004 ESOP db/conf/esop/esop2004.html#CarlierPWK04