• Sign in
  • Sign up
conf.researchr.org / Colin McDonald
  • ICFP 2018 profile
  • ICFP 2020 profile

Registered user since Tue 28 Aug 2018

Name: Colin McDonald

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
xSun 24 Jan 07:38
using conf.researchr.org (v1.40.2)
Support page
Sign Up