Taming the Merge Operator
From MaRDI portal
Publication:5020905
DOI10.1017/S0956796821000186OpenAlexW3209492269MaRDI QIDQ5020905
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira
Publication date: 7 January 2022
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796821000186
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A syntactic approach to type soundness
- Higher-order subtyping
- Typed operational semantics for higher-order subtyping.
- Type inference for record concatenation and subtyping
- A calculus for overloaded functions with subtyping
- Intersection and union types: Syntax and semantics
- Polymorphic Functions with Set-Theoretic Types
- Elaborating intersection and union types
- Associated type synonyms
- Intersection types and computational effects
- Disjoint intersection types
- Disjoint Polymorphism
- Finite Combinatory Logic with Intersection Types
- A filter lambda model and the completeness of type assignment
- Operations on records
- Well-Typed Programs Can’t Be Blamed
- Logical relations and the typed λ-calculus
- Functional Characters of Solvable Terms
- Coercive subtyping
- Intersection Types with Subtyping by Means of Cut Elimination
- A delegation-based object calculus with subtyping
- The coherence of languages with intersection types
- Set-theoretic foundation of parametric polymorphism and subtyping
- On the bright side of type classes
- Threesomes, with and without blame
- Associated types with class
- Polymorphic functions with set-theoretic types
- Intensional interpretations of functionals of finite type I
- Programming Languages and Systems
- Fast verified BCD subtyping
This page was built for publication: Taming the Merge Operator
