Pierre Clairambault

Registered user since Fri 3 Nov 2017

Name: Pierre Clairambault

Affiliation: CNRS & ENS Lyon

Contributions

POPL 2018 Linearity in Higher-Order Recursion Schemes
Show activities from other conferences

POPL 2018-profile
View general profile