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

by Sébastien Carlier , Jeff Polakow , J. B. Wells , A. J. Kfoury
Venue:IN PROGRAMMING LANGUAGES & SYSTEMS, 13TH EUROPEAN SYMP. PROGRAMMING
Citations:25 - 15 self