Sébastien Carlier

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

Coauthor Index

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