Abstract is missing.
- Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk)Didier Rémy. 1 [doi]
- Algebraic graphs with class (functional pearl)Andrey Mokhov. 2-13 [doi]
- Packrats parse in packsMario Blazevic, Jacques Légaré. 14-25 [doi]
- Ode on a random urn (functional pearl)Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner. 26-37 [doi]
- QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone. 38-39 [doi]
- Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test resultsRudy Braquehais, Colin Runciman. 40-51 [doi]
- Using Coq to write fast and correct HaskellJohn Wiegley, Benjamin Delaware. 52-62 [doi]
- A tale of two provers: verifying monoidal string matching in liquid Haskell and CoqNiki Vazou, Leonidas Lampropoulos, Jeff Polakow. 63-74 [doi]
- A meta-EDSL for distributed web applicationsAnton Ekblad. 75-85 [doi]
- Composable network stacks and remote monadsJustin Dawson, Mark Grebe, Andy Gill. 86-97 [doi]
- Algorithmic music in Haskell (invited talk)Donya Quick. 98 [doi]
- Well-typed music does not sound wrong (experience report)Dmitrij Szamozvancev, Michael B. Gale. 99-104 [doi]
- Back to the future: time travel in FRPIvan Perez. 105-116 [doi]
- The linearity MonadJennifer Paykin, Steve Zdancewic. 117-132 [doi]
- Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!Georgios Karachalias, Tom Schrijvers. 133-147 [doi]
- Quantified class constraintsGert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. D. S. Oliveira, Philip Wadler. 148-161 [doi]
- Hardware software co-design in HaskellMarkus Aronsson, Mary Sheeran. 162-173 [doi]
- Streaming irregular arraysRobert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller. 174-185 [doi]
- Improving STM performance with transactional structsRyan Yates, Michael L. Scott. 186-196 [doi]
- Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swappingChao-Hong Chen, Vikraman Choudhury, Ryan R. Newton. 197-211 [doi]