conf.researchr.org / Colin McDonald

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