Programmation fonctionnelle 1 / Functional Programming
Licence 1 / Bachelor first year course, Université Sorbonne Paris Nord, 2026
Introduction to Ocaml and functional programming, induction, list and trees.
Teaching
Compilation
Master course, Université Sorbonne Paris Nord, 2026
This course exposes the general principles of compilation, syntactic and semantics analyses, code generation, and students must write a compiler for a fragment of javascript.
Fondements de la programmation / Fundations of programming
Master course, Université Sorbonne Paris Nord, 2025
This course explores the notions of dynamic (small-step and big-step semantics) and several aspects of typing : simple types, polymorphism, system F, type inference.