Applicative Intersection Types
No abstract available.
Related papers
- Gradual typing with union and intersection types ICFP 2017
- Elaborating intersection and union types JFP 2014
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations POPL 2023
- Factoring Derivation Spaces via Intersection Types APLAS 2018
- Sound and Complete Flow Typing with Unions, Intersections and Negations VMCAI 2013
- A Translation of Intersection and Union Types for the λμ-Calculus APLAS 2014
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types ESOP 2004