Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity

improved the README header info for paper related to patterns

Browse Source
This commit is contained in:
ZJ 2019-09-03 13:23:11 -04:00
parent 11f359083b
commit 64d02c4e8f
No known key found for this signature in database
GPG Key ID: 5FBC4EFA03B99124
2 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pattern_matching/README.md
View File

@ -1,5 +1,14 @@
# Pattern Matching
[Pattern matching algorithms](https://en.wikipedia.org/wiki/Pattern_matching) extend beyond strings, to include trees and other data structures.
🧭 Part of the pattern-matching group, in PWL
* [Pattern Matching](../pattern_matching/README.md)
* [Stringology](../pattern_stringology/README.md)
----
* :scroll: [Compiling Pattern Matching to good Decision Trees](compiling-pattern-matching-to-good-decision-trees.pdf) by Luc Maranget. Paper address the issue of compiling ML pattern matching to efficient decisions trees.
* :scroll: [Extensible Pattern Matching in an Extensible Language](extensible-pattern-matching-extensible-language.pdf) by Sam Tobin-Hochstadt. Paper present a sophisticated pattern matcher for [Racket](http://racket-lang.org/), implemented as language extension using macros.
* :scroll: [Warnings for pattern matching](warnings-for-pattern-matching.pdf) by Luc Maranget. Paper examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches.

8
pattern_stringology/README.md
View File

@ -1,5 +1,13 @@
# Stringology
[Stringology](https://en.wikipedia.org/wiki/String_(computer_science)#String_processing_algorithms) refers to one of the various kinds of string processing algorithms.
🧭 Part of the pattern-matching group, in PWL
* [Pattern Matching](../pattern_matching/README.md)
* [Stringology](../pattern_stringology/README.md)
## External Papers
* [A Taxonomy of Suffix Array Construction Algorithms](http://www.cas.mcmaster.ca/~bill/best/algorithms/07Taxonomy.pdf)