System E: Expansion variables for flexible typing with linear and non-linear types and intersection types (2004)

by S Carlier, J Polakow, J B Wells, A J Kfoury
Venue:In Proceedings of ESOP’04, volume 2986 of Lecture Notes in Computer Science