Equations: A Dependent Pattern-Matching Compiler.

Matthieu Sozeau

Published in: ITP (2010)

Keyphrases

pattern matching
programming language
pattern matching algorithm
string matching
regular expressions
tree matching
matching process
graph matching
boyer moore
hamming distance
image processing
databases
database
straight line
image quality
object oriented
matching strategy
bit parallel
data sets