Haskell 2017

20 papers

1. A meta-EDSL for distributed web applications · Anton Ekblad
2. A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq · Niki Vazou, Leonidas Lampropoulos, Jeff Polakow
3. Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping · Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
4. Algebraic graphs with class (functional pearl) · Andrey Mokhov
5. Algorithmic music in Haskell (invited talk) · Donya Quick
6. Back to the future: time travel in FRP · Ivan Perez
7. Composable network stacks and remote monads · Justin Dawson, Mark Grebe, Andy Gill
8. Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! · Georgios Karachalias, Tom Schrijvers
9. Hardware software co-design in Haskell · Markus Aronsson, Mary Sheeran
10. Improving STM performance with transactional structs · Ryan Yates, Michael L. Scott
11. Ode on a random urn (functional pearl) · Leonidas Lampropoulos, Antal Spector-Zabusky, Kenneth Foner
12. Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) · Didier Rémy
13. Packrats parse in packs · Mario Blazevic, Jacques Légaré
14. Quantified class constraints · Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler
15. QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) · Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
16. Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results · Rudy Braquehais, Colin Runciman
17. Streaming irregular arrays · Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
18. The linearity Monad · Jennifer Paykin, Steve Zdancewic
19. Using Coq to write fast and correct Haskell · John Wiegley, Benjamin Delaware
20. Well-typed music does not sound wrong (experience report) · Dmitrij Szamozvancev, Michael B. Gale