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

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 (Proceedings of the Fourth ACM Conference on Learning @ Scale, L@S 2017, Cambridge, MA, USA, April 20-21, 2017, 2017)

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

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 (Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, 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 (Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, 2004)

Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation - Sébastien Carlier; J. B. Wells (Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004, 2004)

Polar Type Inference with Intersection Types and omega - Sébastien Carlier (Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, 2002)