conf.researchr.org / Chris Jenkins
Not registered as user yet
Name: Chris Jenkins
Affiliation: The University of Iowa
Contributions
| ICFP 2018 | Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track |
Not registered as user yet
Name: Chris Jenkins
Affiliation: The University of Iowa
Contributions
| ICFP 2018 | Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track |