Type Inference with Extended Pattern Matching and Subtypes.

Lalita Jategaonkar John C. Mitchell

Published in: Fundam. Informaticae (1993)

Keyphrases

pattern matching
regular expressions
pattern matching algorithm
tree matching
string matching
image processing
matching process
approximate pattern matching
matching strategy
bit parallel
data sets
databases
pairwise
distance measure
graph matching