Haskell 2017 – Proceedings

10th ACM SIGPLAN International Haskell Symposium (Haskell 2017), September 7-8, 2017, Oxford, UK

10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)

Frontmatter

Title Page
Article: icfpws17haskellforeword-fm000-p (type: Frontmatter) doi:

Message from the Chair
Article: icfpws17haskellforeword-fm001-p (type: Frontmatter) doi:

Session 1

Algebraic Graphs with Class (Functional Pearl)
Andrey Mokhov
(Newcastle University, UK)
Article: icfpws17haskellmain-haskellmainid20-p (type: Full Paper (12 pages)) doi:

Packrats Parse in Packs
Mario Blažević and Jacques Légaré
(Stilo International, Canada)
Article: icfpws17haskellmain-haskellmainid23-p (type: Full Paper (12 pages)) doi:

Ode on a Random Urn (Functional Pearl)
Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)
Article: icfpws17haskellmain-haskellmainid5-p (type: Full Paper (12 pages)) doi:

Session 2

QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration)
Maximilian Algehed, Koen Claessen, Moa Johansson, and Nick Smallbone
(Chalmers University of Technology, Sweden)
Article: icfpws17haskellmain-haskellmainid10-p (type: Short Paper (2 pages)) doi:

Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results
Rudy Braquehais and Colin Runciman
(University of York, UK)
Article: icfpws17haskellmain-haskellmainid4-p (type: Full Paper (12 pages)) doi:

Using Coq to Write Fast and Correct Haskell
John Wiegley and Benjamin Delaware
(BAE Systems, USA; Purdue University, USA)
Article: icfpws17haskellmain-haskellmainid7-p (type: Full Paper (12 pages)) doi:

A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq
Niki Vazou, Leonidas Lampropoulos, and Jeff Polakow
(University of Maryland, USA; University of Pennsylvania, USA; Awake Networks, USA)
Article: icfpws17haskellmain-haskellmainid14-p (type: Full Paper (12 pages)) doi:

A Meta-EDSL for Distributed Web Applications
Anton Ekblad
(Chalmers University of Technology, Sweden)
Article: icfpws17haskellmain-haskellmainid15-p (type: Full Paper (12 pages)) doi:

Composable Network Stacks and Remote Monads
Justin Dawson, Mark Grebe, and Andy Gill
(University of Kansas, USA)
Article: icfpws17haskellmain-haskellmainid26-p (type: Full Paper (12 pages)) doi:

Session 3

Algorithmic Music in Haskell (Invited Talk)
Donya Quick
(Stevens Institute of Technology, USA)
Article: icfpws17haskellmain-haskellinv2-p (type: Invited Talk Abstract) doi:

Well-Typed Music Does Not Sound Wrong (Experience Report)
Dmitrij Szamozvancev and Michael B. Gale
(University of Cambridge, UK)
Article: icfpws17haskellmain-haskellmainid8-p (type: Full Paper (max 6 pages)) doi:

Back to the Future: Time Travel in FRP
Ivan Perez
(University of Nottingham, UK)
Article: icfpws17haskellmain-haskellmainid31-p (type: Full Paper (12 pages)) doi:

The Linearity Monad
Jennifer Paykin and Steve Zdancewic
(University of Pennsylvania, USA)
Article: icfpws17haskellmain-haskellmainid13-p (type: Full Paper (16 pages)) doi:

Session 4

Elaboration on Functional Dependencies: Functional Dependencies Are Dead, Long Live Functional Dependencies!
Georgios Karachalias and Tom Schrijvers
(KU Leuven, Belgium)
Article: icfpws17haskellmain-haskellmainid9-p (type: Full Paper (15 pages)) doi:

Quantified Class Constraints
Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler
(KU Leuven, Belgium; University of Hong Kong, China; University of Edinburgh, UK)
Article: icfpws17haskellmain-haskellmainid36-p (type: Full Paper (14 pages)) doi:

Hardware Software Co-design in Haskell
Markus Aronsson and Mary Sheeran
(Chalmers University of Technology, Sweden)
Article: icfpws17haskellmain-haskellmainid29-p (type: Full Paper (12 pages)) doi:

Streaming Irregular Arrays
Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, and Gabriele Keller
(UNSW, Australia)
Article: icfpws17haskellmain-haskellmainid28-p (type: Full Paper (12 pages)) doi:

Improving STM Performance with Transactional Structs
Ryan Yates and Michael L. Scott
(University of Rochester, USA)
Article: icfpws17haskellmain-haskellmainid33-p (type: Full Paper (12 pages)) doi: