Applicative intersection types

DOI10.1007/978-3-031-21037-2_8zbMATH Open1524.68106MaRDI QIDQ6176571FDOQ6176571

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)

Recommendations

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

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)

Cites Work

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

Cited In (7)

• A calculus with recursive types, record concatenation and subtyping
• Title not available (Why is that?)
• Intersection type assignment systems
• Title not available (Why is that?)
• Distributive disjoint polymorphism for compositional programming
• Disjoint intersection types
• Intersection-types à la Church

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)