Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2026-03-02 03:40:31 +00:00
Code Issues Projects Releases Wiki Activity

1) added papper "A Poor Man s Concurrency Monad" by Koen Claessen to the "haskell" section

Browse Source 
2) added README for "pattern_matching" section"
3) added 📜 in readme to papers that hosts in the repo
This commit is contained in:
Pavlo Voznenko
2015-01-09 11:34:30 +01:00
parent 65095ddc8e
commit 5578617768
3 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pattern_matching/README.md Normal file
View File

@@ -0,0 +1,5 @@
# Pattern Matching
* :scroll: [Compiling Pattern Matching to good Decision Trees](../pattern_matching/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](../pattern_matching/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](../pattern_matching/warnings-for-pattern-matching.pdf) by Luc Maranget. Paper examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches.