Haskell 2016 – Proceedings

9th International Haskell Symposium (Haskell 2016), September 22-23, 2016, Nara, Japan

9th International Haskell Symposium (Haskell 2016)

Frontmatter

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

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

Testing

FitSpec: Refining Property Sets for Functional Testing
Rudy Braquehais and Colin Runciman
(University of York, UK)
Article: icfpws16haskellmain-haskellmain2-p (type: Full Paper (12 pages + 1 page with charge)) doi:

QuickFuzz: An Automatic Random Fuzzer for Common File Formats
Gustavo Grieco, Martín Ceresa, and Pablo Buiras
(CIFASIS-CONICET, Argentina; Harvard University, USA)
Article: icfpws16haskellmain-haskellmain26-p (type: Full Paper (12 pages + 1 page with charge)) doi:

FRP

Causal Commutative Arrows Revisited
Jeremy Yallop and Hai Liu
(University of Cambridge, UK; Intel Labs, USA)
Article: icfpws16haskellmain-haskellmain29-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Functional Reactive Programming, Refactored
Ivan Perez, Manuel Bärenz, and Henrik Nilsson
(University of Nottingham, UK; University of Bamberg, Germany)
Article: icfpws16haskellmain-haskellmain16-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Functors

Free Delivery (Functional Pearl)
Jeremy Gibbons
(University of Oxford, UK)
Article: icfpws16haskellmain-haskellmain6-p (type: Full Paper (12 pages + 1 page with charge)) doi:

How to Twist Pointers without Breaking Them
Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey
(Google, USA; IIT Kanpur, India; Hendrix College, USA)
Article: icfpws16haskellmain-haskellmain5-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Web Technology

High-Performance Client-Side Web Applications through Haskell EDSLs
Anton Ekblad
(Chalmers University of Technology, Sweden)
Article: icfpws16haskellmain-haskellmain23-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Experience Report: Developing High Performance HTTP/2 Server in Haskell
Kazuhiko Yamamoto
(IIJ, Japan)
Article: icfpws16haskellmain-haskellmain7-p (type: Full Paper (6 pages)) doi:

Language Features

Pattern Synonyms
Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg
(University of Oxford, UK; Standard Chartered Bank, Singapore; Microsoft Research, UK; Bryn Mawr College, USA)
Article: icfpws16haskellmain-haskellmain20-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Desugaring Haskell's do-Notation into Applicative Operations
Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov
(Facebook, UK; Microsoft Research, UK; S&P Global, USA; Newcastle University, UK)
Article: icfpws16haskellmain-haskellmain10-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Strictness and STM

Revisiting Software Transactional Memory in Haskell
Matthew Le, Ryan Yates, and Matthew Fluet
(Rochester Institute of Technology, USA; University of Rochester, USA)
Article: icfpws16haskellmain-haskellmain30-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Autobahn: Using Genetic Algorithms to Infer Strictness Annotations
Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher
(Tufts University, USA)
Article: icfpws16haskellmain-haskellmain13-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Types

Experience Report: Types for a Relational Algebra Library
Lennart Augustsson and Mårten Ågren
(Standard Chartered Bank, UK; Standard Chartered Bank, Singapore)
Article: icfpws16haskellmain-haskellmain24-p (type: Full Paper (6 pages)) doi:

Embedding Session Types in Haskell
Sam Lindley and J. Garrett Morris
(University of Edinburgh, UK)
Article: icfpws16haskellmain-haskellmain28-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Monads

The Key Monad: Type-Safe Unconstrained Dynamic Typing
Atze van der Ploeg, Koen Claessen, and Pablo Buiras
(Chalmers University of Technology, Sweden; Harvard University, USA)
Article: icfpws16haskellmain-haskellmain12-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Supermonads: One Notion to Bind Them All
Jan Bracker and Henrik Nilsson
(University of Nottingham, UK)
Article: icfpws16haskellmain-haskellmain19-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Abstractions that Scale

Non-recursive Make Considered Harmful: Build Systems at Scale
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow
(Newcastle University, UK; Standard Chartered Bank, UK; Microsoft Research, UK; Facebook, UK)
Article: icfpws16haskellmain-haskellmain17-p (type: Full Paper (12 pages + 1 page with charge)) doi:

Lazy Graph Processing in Haskell
Philip Dexter, Yu David Liu, and Kenneth Chiu
(SUNY Binghamton, USA)
Article: icfpws16haskellmain-haskellmain22-p (type: Full Paper (12 pages + 1 page with charge)) doi: