A Translation of Intersection and Union Types for the λμ-Calculus
Abstract elided by the publisher.
Related papers
- Named Arguments as Intersections, Optional Arguments as Unions ESOP 2025
- Blame assignment for higher-order contracts with intersection and union ICFP 2015
- The root cause of blame: contracts for intersection and union types OOPSLA 2018
- Elaborating intersection and union types JFP 2014
- From Polyvariant flow information to intersection and union types JFP 2001
- Union Types with Disjoint Switches ECOOP 2022
- Sound and Complete Flow Typing with Unions, Intersections and Negations VMCAI 2013
- A Realizability Interpretation for Intersection and Union Types APLAS 2016