A tale of intersection types

DOI10.1145/3373718.3394733MaRDI QIDQ5145614zbMATH OpenOpenAlexFDO

Authors Viviana Bono, Mariangiola Dezani-Ciancaglini

Publication date 21 January 2021

Published in Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/1758049

zbMATH Keywords

intersection typeslambda calculussemantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Types with intersection: An introduction
• Intersection types for λGtz-calculus
• Intersection typed -calculus
• Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
• Intersection-types à la Church

Cited in

(16)

• Types with intersection: An introduction
• Non-idempotent intersection types in logical form
• Intersection-types à la Church
• scientific article; zbMATH DE number 1722661 (Why is no real title available?)
• Modal intersection types, two-level languages, and staged synthesis
• Intersection types and overloading
• scientific article; zbMATH DE number 512791 (Why is no real title available?)
• scientific article; zbMATH DE number 2087541 (Why is no real title available?)
• Proceedings of the sixth workshop on intersection types and related systems, Dubrovnik, Croatia, June 29, 2012
• Annotations for intersection typechecking
• Intersection types for unboundedness problems
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Structural rules and algebraic properties of intersection types
• Intersection types in Java: back to the future
• YACC: Yet Another Church Calculus. A birthday present for Herman inspired by his supervisor activity
• Separating terms by means of multi types, coinductively

This page was built for publication: A tale of intersection types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145614)