Factoring Derivation Spaces via Intersection Types
No abstract available.
Related papers
- Multi types and reasonable space ICFP 2022
- Multi types and reasonable space JFP 2026
- Disjoint intersection types ICFP 2016
- Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof JFP 2005
- Intersection types and runtime errors in the pi-calculus POPL 2019
- Types by Need ESOP 2019
- From Polyvariant flow information to intersection and union types JFP 2001
- RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds POPL 2025