CUOQ Pascal
Supervision : Marc POUZET
Co-supervision : MAUNY M.
Ajout de synchronisme dans les langages fonctionnels fortement typés
Defence : 10/15/2002
Departure date : 01/01/20032001-2002 Publications
-
2002
- P. Cuoq : “Ajout de synchronisme dans les langages fonctionnels fortement typés”, thesis, defence 10/15/2002, supervision Pouzet, Marc, co-supervision : Mauny, M. (2002)
-
2001
- P. Cuoq, M. Pouzet : “Modular Causality in a Synchronous Stream Language”, 10th European Symposium on Programming (ESOP'01), vol. 2028, Lecture Notes in Computer Science, Genova, Italy, pp. 237-251, (Springer) (2001)