Programming Languages and Systems
From MaRDI portal
Publication:5308705
DOI10.1007/B96702zbMATH Open1126.68346OpenAlexW2964738244MaRDI QIDQ5308705FDOQ5308705
Authors: Sébastien Carlier, Jeff Polakow, J. B. Wells, Assaf Kfoury
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Recommendations
- Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation
- On realisability semantics for intersection types with expansion variables
- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
- The algebra of expansion
- Implementing compositional analysis using intersection types with expansion variables
Cited In (6)
- A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
- Recasting ML\(^{\text F}\)
- On realisability semantics for intersection types with expansion variables
- Expansion for universal quantifiers
- Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation
- Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
This page was built for publication: Programming Languages and Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308705)