ICFP Workshops 2019
24th ACM SIGPLAN International Conference on Functional Programming (ICFP 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)

Publisher's Version

Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances
Ryan G. Scott and Ryan R. Newton
(Indiana University, USA)

Publisher's Version

Bidirectional Type Class Instances
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, and Tom Schrijvers
(KU Leuven, Belgium; Guardsquare, Belgium)

Publisher's Version

G2Q: Haskell Constraint Solving
William T. Hallahan, Anton Xue, and Ruzica Piskac
(Yale University, USA)

Publisher's Version

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)

Publisher's Version

Multi-stage Programs in Context
Matthew Pickering, Nicolas Wu, and Csongor Kiss
(University of Bristol, UK; Imperial College London, UK)

Publisher's Version

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)

Publisher's Version

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)

Publisher's Version

Scoping Monadic Relational Database Queries
Anton Ekblad
(Chalmers University of Technology, Sweden)

Publisher's Version

Verifying Effectful Haskell Programs in Coq
Jan Christiansen, Sandra Dylus, and Niels Bunkenburg
(Flensburg University of Applied Sciences, Germany; University of Kiel, Germany)

Publisher's Version

Formal Verification of Spacecraft Control Programs (Experience Report)
Andrey Mokhov, Georgy Lukyanov, and Jakob Lechner
(Newcastle University, UK; RUAG Space, Austria)

Publisher's Version

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)

Publisher's Version Info

Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, and Mark Santolucito
(Saarland University, Germany; Yale University, USA)

Publisher's Version