Polar Type Inference with Intersection Types and omega. - Sébastien Carlier (ITRS, 2002)

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. - Sébastien Carlier; Jeff Polakow; J. B. Wells; A. J. Kfoury (ESOP, 2004)

Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. - Sébastien Carlier; J. B. Wells (PPDP, 2004)

Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. - Sébastien Carlier; J. B. Wells (ITRS, 2004)

The Algebra of Expansion. - Sébastien Carlier; J. B. Wells (Fundam. Informaticae, 2012)

CODECAST: An Innovative Technology to Facilitate Teaching and Learning Computer Programming in a C Language Online Course. - Rémi Sharrock; Ella Hamonic; Mathias Hiron; Sébastien Carlier (L@S, 2017)

What Does This Notation Mean Anyway? - David Feller; Joe B. Wells; Fairouz Kamareddine; Sébastien Carlier (CoRR, 2018)