C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.
Georgios Karachalias
Tom Schrijvers
Dimitrios Vytiniotis
Simon L. Peyton Jones
Published in:
ICFP (2015)
Keyphrases
</>
pattern matching
regular expressions
pattern matching algorithm
string matching
tree matching
boyer moore
matching process
data sets
image quality
graph matching
hamming distance
bit parallel