A Realizability Interpretation for Intersection and Union Types
No abstract available.
Related papers
- Sound and Complete Flow Typing with Unions, Intersections and Negations VMCAI 2013
- A Translation of Intersection and Union Types for the λμ-Calculus APLAS 2014
- Elaborating intersection and union types ICFP 2012
- Empowering union and intersection types with integrated subtyping OOPSLA 2018
- Union and intersection contracts are hard, actually DLS 2021
- Rewriting for sound and complete union, intersection and negation types GPCE 2017
- Gradual typing with union and intersection types ICFP 2017
- Elaborating intersection and union types JFP 2014