Sébastien Carlier

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 2

Top Topics

Algebraic Expressions

Learner Centered

Learning Computer Programming

Teacher Training

Top Venues

Fundam. Informaticae

Publications

David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier
What Does This Notation Mean Anyway? CoRR (2018)
Rémi Sharrock, Ella Hamonic, Mathias Hiron, Sébastien Carlier
CODECAST: An Innovative Technology to Facilitate Teaching and Learning Computer Programming in a C Language Online Course. L@S (2017)
Sébastien Carlier, J. B. Wells
The Algebra of Expansion. Fundam. Informaticae 121 (1-4) (2012)
Sébastien Carlier, J. B. Wells
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation. Electron. Notes Theor. Comput. Sci. 136 (2005)
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)
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)
Sébastien Carlier
Polar Type Inference with Intersection Types and omega. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)