ML with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar John C. Mitchell

Published in: LISP and Functional Programming (1988)

Keyphrases

pattern matching
regular expressions
string matching
tree matching
pattern matching algorithm
maximum likelihood
matching process
bit parallel
matching strategy
information retrieval
graph matching
suffix tree
boyer moore