mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-10-27 20:34:20 +00:00
d2acf0fc3b
reorganization of so-called historical papers |
||
---|---|---|
.. | ||
aho-corasick-string-matching.pdf | ||
compiling-pattern-matching-to-good-decision-trees.pdf | ||
extensible-pattern-matching-extensible-language.pdf | ||
README.md | ||
warnings-for-pattern-matching.pdf |
Pattern Matching
- 📜 Compiling Pattern Matching to good Decision Trees by Luc Maranget. Paper address the issue of compiling ML pattern matching to efficient decisions trees.
- 📜 Extensible Pattern Matching in an Extensible Language by Sam Tobin-Hochstadt. Paper present a sophisticated pattern matcher for Racket, implemented as language extension using macros.
- 📜 Warnings for pattern matching by Luc Maranget. Paper examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches.
- 📜 Efficient String Matching: An Aid to Bibliographic Search by Alfred V. Aho and Margaret J. Corasick. A single-pass pattern matching algorithm used in early versions of fgrep and similar projects. Aho–Corasick entry in NIST's Dictionary of Algorithms and Data Structures.