Programming Languages and Systems

DOI10.1007/B96702MaRDI QIDQ5308705zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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)

• Expansion for universal quantifiers
• Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation
• Recasting ML\(^{\text F}\)
• On realisability semantics for intersection types with expansion variables
• A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
• 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)