Crossmark

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

Crossref DOI link: https://doi.org/10.1145/3409004

Published Online: 2020-08-03

Published Print: 2020-08-02

Update policy: https://doi.org/10.1145/crossmark-policy

Authors

Stump, Aaron

Jenkins, Christopher https://orcid.org/0000-0002-5434-5018
Spahn, Stephan

McDonald, Colin
Funding

Funding for this research was provided by:

National Science Foundation (1524519)

U.S. Department of Defense (FA9550-16-1-0082)
License Information

Version of Record valid from 2020-08-02
More Information

Publication History

Published: 2020-08-03