Not registered as user yet

Name: Pierre-Louis Curien

Affiliation: Univ. Paris Diderot and INRIA Paris-Rocquencourt

POPL 2016 Activities

• Author of A Theory of Effects and Resources: Adjunction Models and Polarised Calculi within the Research Papers-track in POPL 2016
• Show activities from other conferences