![]() | ![]() |
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] |