Similar Items: Mixin Composition Synthesis based on Intersection Types
- Intersection Types for the lambda-mu Calculus
- Inhabitation for Non-idempotent Intersection Types
- The Algebraic Intersection Type Unification Problem
- Non-idempotent intersection types and strong normalisation
- On sets of terms having a given intersection type
- Type Reconstruction for the Linear pi-Calculus with Composite Regular Types