Sébastien Carlier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

4EESé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)
3EESé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
2EESé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
1EESébastien Carlier: Polar Type Inference with Intersection Types and omega. Electr. Notes Theor. Comput. Sci. 70(1): (2002)

Coauthor Index

1Assaf J. Kfoury (A. J. Kfoury) [3]
2Jeff Polakow (Jeffrey Polakow) [3]
3J. B. Wells [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)