Show Menu
Hide Menu
巴黎六大计算机科学实验室
主任寄语
Scientific Influence
组织
巴黎六大计算机科学实验室-布局一览
主管
客务服务
IT Service
科学委员会
管理委员会
板
Teaching
交通路线
研究
Axes & Teams
刊物
项目
ERC Projects
European Projects
France 2030
ANR Projects
年报
估价
Our skills
Work with us
Software
专利
新兴公司
工作
职员电话号码
座谈会
🔒
📫
🇨🇳
🇫🇷
🇬🇧
🇨🇳
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
职员电话号码
CUOQ Pascal
博士后 -
SPI
责任导师
: Marc POUZET
助理责任导师
: MAUNY M.
Ajout de synchronisme dans les langages fonctionnels fortement typés
答辩
: 2002-10-15
离开日期 : 2003-1-1
2001-2002 刊物
所有
通信管理
Thesis
2002
P. Cuoq
: “
Ajout de synchronisme dans les langages fonctionnels fortement typés
”, thesis, 答辩 2002-10-15, 责任导师 Pouzet, Marc, 助理责任导师 : 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)