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