Login / Signup

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness.

Georgios KarachaliasTom SchrijversDimitrios VytiniotisSimon 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