mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00

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

2) added README for "pattern_matching" section"
3) added 📜 in readme to papers that hosts in the repo

2015-01-12 18:31:45 +01:00

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.