Applicative intersection types

DOI10.1007/978-3-031-21037-2_8MaRDI QIDQ6176571zbMATH OpenFDO

Authors Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie

Publication date 25 July 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Taming the merge operator
• A calculus with recursive types, record concatenation and subtyping
• Intersection types and overloading
• Disjoint intersection types
• Disjoint polymorphism

Cites work

• A calculus for overloaded functions with subtyping
• A filter lambda model and the completeness of type assignment
• Disjoint intersection types
• Disjoint polymorphism
• Elaborating intersection and union types
• Functional Characters of Solvable Terms
• Intersection types and computational effects
• Let arguments go first
• Programming Languages and Systems
• Semantic subtyping, dealing set-theoretically with function, union, intersection, and negation types
• Taming the merge operator
• The coherence of languages with intersection types
• Type inference for record concatenation and multiple inheritance

Cited in

(7)

• Intersection-types à la Church
• Intersection type assignment systems
• Distributive disjoint polymorphism for compositional programming
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• scientific article; zbMATH DE number 1929308 (Why is no real title available?)
• A calculus with recursive types, record concatenation and subtyping
• Disjoint intersection types

This page was built for publication: Applicative intersection types

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