Show Menu
Hide Menu
Home
About
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
Priority Research Programmes and Equipments
Common Laboratories
ANR Projects
Activity reports
Valorisation
Our skills
Works with us
Software
Patents
Start-ups
Jobs
Staff directory
Colloquium
🔒
📫
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Staff directory
CUOQ Pascal
PhD Student at Sorbonne University -
SPI
Supervision
: Marc POUZET
Co-supervision
: MAUNY M.
Ajout de synchronisme dans les langages fonctionnels fortement typés
Phd defence
: 10/15/2002
Departure date : 01/01/2003
2001-2002 Publications
All
Communications
Thesis
2002
P. Cuoq
: “
Ajout de synchronisme dans les langages fonctionnels fortement typés
”, thesis, phd defence 10/15/2002, supervision Pouzet, Marc, co-supervision : 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)