Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chris Jenkins
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2020 profile
Registered user since Mon 22 Jun 2020
Name:
Chris Jenkins
Affiliation:
The University of Iowa
Contributions
2020
ICFP
Author of Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille within the ICFP Program-track
2018
ICFP
Author of T01: Introduction to Programming and Proving in Cedille within the Tutorials-track
Share
x
Thu 21 Nov 13:00