Sébastien Carlier

According to our database, Sébastien Carlier authored at least 7 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

What Does This Notation Mean Anyway?

David Feller, Joe B. Wells, Fairouz Kamareddine, Sébastien Carlier

CoRR, 2018

2017

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, 2017

2012

The Algebra of Expansion.

Sébastien Carlier, J. B. Wells

Fundam. Informaticae, 2012

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, 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, 2004

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

Proceedings of the Programming Languages and Systems, 2004

2002

Polar Type Inference with Intersection Types and omega.

Sébastien Carlier

Proceedings of the Intersection Types and Related Systems, 2002