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
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
x
Sat 10 Dec 00:18