Quelques projets de programmation en Caml
Un projet de programmation fonctionnelle (Scheme + Caml-Light) proposé
aux étudiants de licence d'informatique de l'université Paris 7.
- Mini-compilateur bytecode Mini-Scheme/Mini-ML
Un projet de logique proposé aux étudiants de licence d'informatique
de l'université Paris 7.
-
Validité en calcul propositionnel par la méthode des arbres de Beth.
Page d'accueil de Caml
Dernière modification: Friday, December 20, 1996
Rapport d'erreur