Login / Signup
Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille.
Christopher Jenkins
Colin McDonald
Aaron Stump
Published in:
CoRR (2019)
Keyphrases
</>
pattern matching
data types
regular expressions
pattern matching algorithm
string matching
data model
matching process
tree matching
boyer moore
data structure
database management systems
approximate pattern matching
graph matching
database systems
information retrieval
machine learning
sliding window
preprocessing