OMGL Validation
Initiation aux langages fonctionnels avec typage fort avec caml
Olivier Ly - labri - IUT Informatique/université bordeaux 1


1. Bases du langages
2. Types inductifs
3. Représentation d'expressions
4. arbres binaires de recherche