History

Jeremy Heiler 8354383f63 Add Ambrose's Typed Clojure paper		9 years ago
..
README.md	Add Ambrose's Typed Clojure paper	9 years ago
a-practical-optional-type-system-for-clojure.pdf	add minor cleanup scripts for naming	10 years ago

README.md

Clojure

This is a cross-listing of papers related to Clojure, it's core, contrib and popular libraries. Papers noted at Clojure talks, meetups, and conferences can be found here as well.

Data Structures

core.rrb-vector
- RRB-Trees: Efﬁcient Immutable Vectors

Pattern Matching

core.match
- Compiling Pattern Matching to good Decision Trees

Type Theory

Practical Optional Types for Clojure (draft)

Clojure/West 2014

Applicative Functional Programming
- Backtracking Iterators
- Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
Testing
- QuickCheck
  - QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
  - QuickCheck Testing for Fun and Profit
  - Property-Based Testing, best explained in John Hughes own talk at ClojureWest 2014.