Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Colin McDonald
conf.researchr.org general profile
ICFP 2018 profile
ICFP 2020 profile
Registered user since Tue 28 Aug 2018
Name:
Colin McDonald
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
Sun 10 Nov 00:15