## Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction (0)

### Cached

### Download Links

by
Sébastien Carlier
,
J. B. Wells

Venue: | In Proc. 6th Int’l Conf. Principles & Practice Declarative Programming |

Citations: | 11 - 4 self |

### BibTeX

@TECHREPORT{Carlier_typeinference,

author = {Sébastien Carlier and J. B. Wells},

title = {Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction},

institution = {In Proc. 6th Int’l Conf. Principles & Practice Declarative Programming},

year = {}

}

### Years of Citing Articles

### OpenURL

### Abstract

System E is a recently designed type system for the #- calculus with intersection types and expansion variables. During automatic type inference, expansion variables allow postponing decisions about which non-syntax-driven typing rules to use until the right information is available and allow implementing the choices via substitution.