Verifying higher-order functional programs with pattern-matching algebraic data types.
C.-H. Luke OngSteven J. RamsayPublished in: POPL (2011)
Keyphrases
- pattern matching
- data types
- functional programs
- data model
- data structure
- logic programs
- database systems
- database management systems
- functional language
- string matching
- regular expressions
- abstract data types
- pattern matching algorithm
- database server
- approximate pattern matching
- data mining
- distributed databases
- high dimensional
- machine learning