Pierre-Louis Curien -

Not registered as user yet

Name:Pierre-Louis Curien

Country:France

Affiliation:Univ. Paris Diderot and INRIA Paris-Rocquencourt

Personal website: https://www.irif.fr/~curien/

Contributions

2022

TyDe

Author of Mu tilde (re)cycled within the TyDe 2022-track

2019

GaLoP

Committee Member in Steering Committee within the GaLoP-track
Author of Sequential algorithms and innocent strategies share the same execution mechanism within the GaLoP-track

2016

POPL

Author of A Theory of Effects and Resources: Adjunction Models and Polarised Calculi within the Research Papers-track