• Sign in
  • Sign up
conf.researchr.org / Chris Jenkins
  • ICFP 2018 profile
  • ICFP 2020 profile

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

Share
xThu 9 Feb 03:03
using conf.researchr.org (v1.58.0)
Support page
Sign Up