Not registered as user yet

Name: Chris Jenkins

Affiliation: The University of Iowa

Contributions

ICFP 2018Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track