Vincent Danos

Vincent Danos

Directeur de Recherches CNRS Ecole Normale Supérieure
在 ens.fr 的电子邮件经过验证
被引用次数：8515
financial contracts computational systems biology complex systems probabilistic systems and models
Martin Elsman

Martin Elsman

Professor, DIKU
在 di.ku.dk 的电子邮件经过验证
被引用次数：1544
Programming languages data-parallel programming functional languages memory management financial contracts