Teaching

Fondements de la programmation

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.