Strong functional pearl: Harper's regular-expression matcher in Cedille

Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald. Strong functional pearl: Harper's regular-expression matcher in Cedille. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]

Authors

Aaron Stump

This author has not been identified. Look up 'Aaron Stump' in Google

Christopher Jenkins

This author has not been identified. Look up 'Christopher Jenkins' in Google

Stephan Spahn

This author has not been identified. Look up 'Stephan Spahn' in Google

Colin McDonald

This author has not been identified. Look up 'Colin McDonald' in Google