Disjoint intersection types

DOI10.1145/2951913.2951945MaRDI QIDQ2985786zbMATH OpenOpenAlexFDO

Authors Bruno C. d. S. Oliveira, Zhiyuan Shi, Joao Alpuim

Publication date 10 May 2017

Published in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2951913.2951945

zbMATH Keywords

intersection typestype system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Intersection and union types
• Intersection types and termination properties
• Intersection types and computational rules
• Intersection types and domain operators
• scientific article; zbMATH DE number 1929308
• Applicative intersection types
• Intersection types for unboundedness problems
• Intersection type assignment systems
• Intersection types and computational effects

Cited in

(7)

• Disjoint polymorphism
• Taming the merge operator
• The coherence of languages with intersection types
• Explicit effect subtyping
• Distributive disjoint polymorphism for compositional programming
• Applicative intersection types
• A calculus with recursive types, record concatenation and subtyping

Describes a project that uses

Uses Software

• Haskell
• Twelf
• CDuce

This page was built for publication: Disjoint intersection types

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