Skip to main content

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

PDF DOI 10.1007/978-3-540-24725-8_21 dblp BibTeX

No abstract available.

Related papers

Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004
Expansion for Universal Quantifiers ESOP 2012
Types by Need ESOP 2019
Polyadic approximations, fibrations and intersection types POPL 2018
Principality and Decidable Type Inference for Finite-Rank Intersection Types POPL 1999
Gradual typing with union and intersection types ICFP 2017
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work ICFP 2004
Points-to Analysis in Almost Linear Time POPL 1996