conf.researchr.org / Pierre Cagne
Not registered as user yet
Name:Pierre Cagne
Affiliation:Appalachian State University
Contributions
| APLAS 2022 | Author of Characterizing functions mappable over GADTs within the APLAS-track |
Not registered as user yet
Contributions
| APLAS 2022 | Author of Characterizing functions mappable over GADTs within the APLAS-track |