POUZET Marc
Lucid Synchrone, un langage synchrone d'ordre superieur
Defence : 11/14/2002
Departure date : 11/14/2002
- 2006
- MANDEL Louis : Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive .
- 2002
- HAMON Grégoire : Calcul d'horloges et structures de contrôle dans lucid Synchrone, un langage de flots synchrones à la ML .
- CUOQ Pascal : Ajout de synchronisme dans les langages fonctionnels fortement typés .