(Last page update: May 2024)
Since autumn 2008 I've enjoyed being a teaching-assistant or teacher in around a class a year on average. Some old teaching documents are available there, most of it in French.
Functional programming and type systems,
Graduate level, MPRI,
2021, 2023.
Introduction to Functional Programming in OCaml,
L1, Université Vincenne-Saint-Denis,
2019, 2020, 2021.
Intensive summer school on functional programming,
ANF CNRS,
2019.
Introduction to Functional Programming in Racket,
L1, Université Vincenne-Saint-Denis,
2018.
C (introduction to programming),
L3, Université Paris-Diderot,
2014.
Advanced Functional Programming,
M1, Université Paris-Diderot,
2013.
Java (introduction to programming),
L1, Université Paris-Diderot,
2013, 2014.
Caml Light (introduction to programming),
MPSI, Lycée Louis le Grand,
2008, 2009, 2010, 2012.