Login / Signup
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.
Aleksander Boruch-Gruszecki
Radoslaw Wasko
Yichen Xu
Lionel Parreaux
Published in:
CoRR (2022)
Keyphrases
</>
pattern matching
theoretical foundation
regular expressions
string matching
pattern matching algorithm
theoretical framework
matching process
hamming distance
boyer moore
graph matching
matching strategy
tree matching
bit parallel