A static checker for safe pattern matching in Haskell.

Neil Mitchell Colin Runciman

Published in: Trends in Functional Programming (2005)

Keyphrases

pattern matching
regular expressions
matching process
pattern matching algorithm
programming language
functional programming
string matching
tree matching
hamming distance
multiscale
bit parallel
similarity measure
object recognition
suffix tree
lossy compression
plagiarism detection