ICFP Workshops 2019
24th ACM SIGPLAN International Conference on Functional Programming (ICFP 2019)
Powered by
Conference Publishing Consulting

12th ACM SIGPLAN International Haskell Symposium (Haskell 2019), August 22–23, 2019, Berlin, Germany

Haskell 2019 – Preliminary Table of Contents

Contents - Abstracts - Authors

12th ACM SIGPLAN International Haskell Symposium (Haskell 2019)


Title Page
Message from the Chairs


Modular Effects in Haskell through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the μVeriFast Verifier as a Case Study
Dominique Devriese
(Vrije Universiteit Brussel, Belgium)
Article Search Artifacts Available
Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Ryan G. Scott and Ryan R. Newton
(Indiana University, USA)
Article Search
Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)
Article Search
G2Q: Haskell Constraint Solving
William T. Hallahan, Anton Xue, and Ruzica Piskac
(Yale University, USA)
Article Search
Making a Faster Curry with Extensional Types
Paul Downen, Zachary Sullivan, Zena M. Ariola, and Simon Peyton Jones
(University of Oregon, USA; Microsoft Research, UK)
Article Search
Multi-stage Programs in Context
Matthew Pickering, Nicolas Wu, and Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)
Article Search
Working with Source Plugins
Matthew Pickering, Nicolas Wu, and Boldizsár Németh
(University of Bristol, UK; Imperial College London, UK; Eötvös Loránd University, Hungary)
Article Search
Monad Transformers and Modular Algebraic Effects: What Binds Them Together
Tom Schrijvers, Maciej Piróg, Nicolas Wu, and Mauro Jaskelioff
(KU Leuven, Belgium; University of Wrocław, Poland; Imperial College London, UK; CIFASIS-CONICET, Argentina; National University of Rosario, Argentina)
Article Search
Scoping Monadic Relational Database Queries
Anton Ekblad
(Chalmers University of Technology, Sweden)
Article Search
Verifying Effectful Haskell Programs in Coq
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)
Article Search
Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov, Georgy Lukyanov, and Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)
Article Search
STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism
Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, and Jeronimo Castrillon
(Huawei Technologies, Germany; TU Dresden, Germany)
Article Search Info
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)
Article Search

proc time: 4.12