Show Menu
Hide Menu
Le LIP6
À propos
Organigrammes
Organisation
Comité de Direction
Direction Administrative et Financière
Direction de l’Ingénierie Numérique
Conseil scientifique
Conseil de laboratoire
Conseil des doctorants
Enseignements
Localisation & Contact
Recherche
Axes & Équipes
Publications
Projets
Projets ERC
Projets Européens
Programmes et Équipements Prioritaires de Recherche
Laboratoires Communs
Projets ANR
Rapports d’activité
Valorisation
Nos compétences
Collaborer avec nous
Logiciels
Brevets
Start-ups
Emplois
Annuaire
Colloquium
🔒
📫
🇫🇷
🇫🇷
🇬🇧
-
Laboratoire d’informatique
Annuaire
CUOQ Pascal
Doctorant à Sorbonne Université -
SPI
Direction de recherche
: Marc POUZET
Co-encadrement
: MAUNY M.
Ajout de synchronisme dans les langages fonctionnels fortement typés
Soutenance
: 15/10/2002
Date de départ : 01/01/2003
Publications 2001-2002
Toutes
Communications
Soutenance de thèse
2002
P. Cuoq
: “
Ajout de synchronisme dans les langages fonctionnels fortement typés
”, soutenance de thèse, soutenance 15/10/2002, direction de recherche Pouzet, Marc, co-encadrement : Mauny, M. (2002)
2001
P. Cuoq, M. Pouzet
: “
Modular Causality in a Synchronous Stream Language
”, 10
th
European Symposium on Programming (ESOP'01), vol. 2028, Lecture Notes in Computer Science, Genova, Italy, pp. 237-251, (Springer) (2001)