ICFP Workshops 2017
22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017)

Powered by

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

Haskell 2017 – Proceedings

Contents - Abstracts - Authors

10th ACM SIGPLAN International Haskell Symposium (Haskell 2017)

Frontmatter

Title Page
Article: icfpws17haskellforeword-fm000-p doi:

Message from the Chair
Article: icfpws17haskellforeword-fm001-p doi:

Session 1

Ornaments: Exploiting Parametricity for Safer, More Automated Code Refactorization and Code Reuse (Invited Talk)
Didier Rémy
(Inria, France)
Article: icfpws17haskellmain-haskellinv1-p doi:

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

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

Ode on a Random Urn (Functional Pearl)
Leonidas Lampropoulos, Antal Spector-Zabusky, and Kenneth Foner
(University of Pennsylvania, USA)
Article: icfpws17haskellmain-haskellmainid5-p 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 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 doi:

Using Coq to Write Fast and Correct Haskell
John Wiegley and Benjamin Delaware
(BAE Systems, USA; Purdue University, USA)
Article: icfpws17haskellmain-haskellmainid7-p 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 doi:

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

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

Session 3

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

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

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

The Linearity Monad
Jennifer Paykin and Steve Zdancewic
(University of Pennsylvania, USA)
Article: icfpws17haskellmain-haskellmainid13-p 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 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 doi:

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

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

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

Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Chao-Hong Chen, Vikraman Choudhury, and Ryan R. Newton
(Indiana University, USA)
Article: icfpws17haskellmain-haskellmainid11-p doi:

proc time: 0.72