conf.researchr.org / 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