This repository collects all lab exercises (travaux-dirigés) from the course INF 371: Mechanisms of object-oriented programming languages.
- TD1-2: Percolation Threshold
- TD3-4: Le 36e chapitre de «Madame Bovary»
- TD5: Héritage et typographie
- TD6: Compilation de mini-while vers la XVM
- TD8-9: Calculatrice à mémoire avec interface graphique
- TD10: Preuve de programmes avec Why3