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:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
pattern matching
theoretical foundation
theoretical framework
regular expressions
matching process
tree matching
string matching
pattern matching algorithm
database
matching strategy
hamming distance
data sets
image processing
wavelet transform
multi dimensional