| |
| 2005 | ||
|---|---|---|
| 4 | EE | Sébastien Carlier, J. B. Wells: Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. Electr. Notes Theor. Comput. Sci. 136: 173-202 (2005) |
| 2004 | ||
| 3 | EE | Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury: System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. ESOP 2004: 294-309 |
| 2 | EE | Sébastien Carlier, J. B. Wells: Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. PPDP 2004: 132-143 |
| 2002 | ||
| 1 | EE | Sébastien Carlier: Polar Type Inference with Intersection Types and omega. Electr. Notes Theor. Comput. Sci. 70(1): (2002) |
| 1 | Assaf J. Kfoury (A. J. Kfoury) | [3] |
| 2 | Jeff Polakow (Jeffrey Polakow) | [3] |
| 3 | J. B. Wells | [2] [3] [4] |