Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation-Reference-Cited by-同舟云学术

Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation

Published:2005-07 Issue: Volume:136 Page:173-202
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Carlier Sébastien,Wells J.B.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference45 articles.

1. Adam Bakewell and Assaf J. Kfoury. Unification with expansion variables. Technical report, Department of Computer Science, Boston University, December 2004

2. A modular, polyvariant, and type-based closure analysis;Banerjee,1997

3. A filter lambda model and the completeness of type assignment;Barendregt;J. Symbolic Logic,1983

4. Sébastien Carlier. Polar type inference with intersection types and ω. In ITRS '02 [22]

5. System E: Expansion variables for flexible typing with linear and non-linear types and intersection types;Carlier,2004

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Typed Lambda Calculus with Gradual Intersection Types;Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming;2022-09-20

2. A tale of intersection types;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08

3. Principality and approximation under dimensional bound;Proceedings of the ACM on Programming Languages;2019-01-02

4. Non-idempotent intersection types for the Lambda-Calculus;Logic Journal of the IGPL;2017-07-03

5. Explicit substitution calculi with de Bruijn indices and intersection type systems;Logic Journal of IGPL;2014-12-30