Not registered as user yet

Name:Pierre Pradic
Affiliation:Oxford University

Contributions

POPL 2021 Author of Generating Collection Transformations from Proofs within the POPL-track