Chris Jenkins -

Registered user since Mon 22 Jun 2020

Name:Chris Jenkins

Affiliation:The University of Iowa

Contributions

ICFP 2020	Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track
ICFP 2018	Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track