1 × Italy
1 × Spain
J.B.Wells J.Polakow A.J.Kfoury
type (5) intersect (2) variabl (2) system (2) linear (2) expans (2) correspond (1) flexibl (1) reduct (1) infer (1)
Person: Sébastien Carlier
Wrote 2 papers:
- ESOP-2004-CarlierPWK #flexibility #linear #type system
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
- PPDP-2004-CarlierW #type inference
- Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.