• 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 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