Login / Signup
Strong functional pearl: Harper's regular-expression matcher in Cedille.
Aaron Stump
Christopher Jenkins
Stephan Spahn
Colin McDonald
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
regular expressions
pattern matching
matching algorithm
finite automata
query language
semistructured data
xml schema
regular path queries
deterministic finite automata
approximate matching
data mining
data model
query evaluation
static analysis
string matching