conf.researchr.org / Pierre Pradic
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 |
Not registered as user yet
Contributions
| POPL 2021 | Author of Generating Collection Transformations from Proofs within the POPL-track |