Write a Blog >>
Pierre-Louis Curien

Not registered as user yet

Name: Pierre-Louis Curien

Affiliation: Univ. Paris Diderot and INRIA Paris-Rocquencourt

Contributions

POPL 2016 A Theory of Effects and Resources: Adjunction Models and Polarised Calculi
Show activities from other conferences

POPL 2016-profile
View general profile