Précédent : Preuves mécaniques Remonter : Actions de recherche Suivant : Substitutions explicites
Précédent : Preuves mécaniques Remonter : Actions de
recherche Suivant : Substitutions
explicites
Participant : Damien Doligez
Mots-clés : programmation fonctionnelle
D. Doligez est le "mainteneur en titre" des versions Macintosh de Caml. Il est aussi expert dans la mise au point du glaneur de cellules incrémental pour le système Caml Special light, qui est aussi celui de O'Caml. En collaboration avec X. Leroy (du projet CRISTAL ), D. Doligez a porté sur Macintosh le système Objective Caml. Pour l'instant, le système n'utilise pas toutes les caractéristiques modernes des système 7 de Mac-OS. Une nouvelle version est en cours pour en bénéficier.