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 – Proceedings
Contents
-
Abstracts
-
Authors
12th ACM SIGPLAN International Haskell Symposium (Haskell 2019)
Frontmatter
Title Page
Message from the Chairs
Papers
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
proc time: 3.75