Sciweavers

Share
ESOP
2004
Springer

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

9 years 6 months ago
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types
Sébastien Carlier, Jeff Polakow, J. B. Well
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ESOP
Authors Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury
Comments (0)
books