Abstract is missing.
- Branching processes for QuickCheck generatorsAgustín Mista, Alejandro Russo, John Hughes. 1-13 [doi]
- A promise checked is a promise kept: inspection testingJoachim Breitner. 14-25 [doi]
- AutoBench: comparing the time performance of Haskell programsMartin A. T. Handley, Graham Hutton. 26-37 [doi]
- Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration)Marilyn Sun, Kathleen Fisher. 38-40 [doi]
- Generic programming of all kindsAlejandro Serrano, Victor Cacciari Miraldo. 41-54 [doi]
- Deriving via: or, how to turn hand-written instances into an anti-patternBaldur Blöndal, Andres Löh, Ryan Scott. 55-67 [doi]
- Improving typeclass relations by being openGuido Martinez, Mauro Jaskelioff, Guido De Luca. 68-80 [doi]
- Coherent explicit dictionary application for HaskellThomas Winant, Dominique Devriese. 81-93 [doi]
- Type variables in patternsRichard A. Eisenberg, Joachim Breitner, Simon L. Peyton Jones. 94-105 [doi]
- The Thoralf plugin: for your fancy type needsDivesh Otwani, Richard A. Eisenberg. 106-118 [doi]
- Ghosts of departed proofs (functional pearl)Matt Noonan. 119-131 [doi]
- Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton. 132-144 [doi]
- Rhine: FRP with type-level clocksManuel Bärenz, Ivan Perez 0001. 145-157 [doi]
- Embedding invertible languages with binders: a case of the FliPpr languageKazutaka Matsuda, Meng Wang. 158-171 [doi]
- A high-performance multicore IO manager based on libuv (experience report)Dong Han, Tao He. 172-178 [doi]
- Suggesting valid hole fits for typed-holes (experience report)Matthías Páll Gissurarson. 179-185 [doi]