Applicative intersection types
From MaRDI portal
Publication:6176571
DOI10.1007/978-3-031-21037-2_8zbMath1524.68106MaRDI QIDQ6176571
Bruno C. d. S. Oliveira, Ningning Xie, Xu Xue
Publication date: 25 July 2023
Published in: Programming Languages and Systems (Search for Journal in Brave)
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Type inference for record concatenation and multiple inheritance
- A calculus for overloaded functions with subtyping
- Let arguments go first
- Elaborating intersection and union types
- Intersection types and computational effects
- Disjoint intersection types
- Disjoint Polymorphism
- A filter lambda model and the completeness of type assignment
- Semantic subtyping
- Functional Characters of Solvable Terms
- Taming the Merge Operator
- The coherence of languages with intersection types
- Programming Languages and Systems
This page was built for publication: Applicative intersection types
