Haskell 2019 – Proceedings

12th ACM SIGPLAN International Haskell Symposium (Haskell 2019)

Frontmatter

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 Published Artifact Article: icfpws19haskellmain-p1-p doi:10.1145/3331545.3342589

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

Publisher's Version Article: icfpws19haskellmain-p10-p doi:10.1145/3331545.3342591

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

Publisher's Version Article: icfpws19haskellmain-p30-p doi:10.1145/3331545.3342596

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

Publisher's Version Article: icfpws19haskellmain-p9-p doi:10.1145/3331545.3342590

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 Article: icfpws19haskellmain-p26-p doi:10.1145/3331545.3342594

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

Publisher's Version Published Artifact Article: icfpws19haskellmain-p34-p doi:10.1145/3331545.3342597

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 Article: icfpws19haskellmain-p89-p doi:10.1145/3331545.3342599

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 Article: icfpws19haskellmain-p27-p doi:10.1145/3331545.3342595

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

Publisher's Version Article: icfpws19haskellmain-p83-p doi:10.1145/3331545.3342598

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 Article: icfpws19haskellmain-p13-p doi:10.1145/3331545.3342592

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

Publisher's Version Article: icfpws19haskellmain-p24-p doi:10.1145/3331545.3342593

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 Article: icfpws19haskellmain-p95-p doi:10.1145/3331545.3342600

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

Publisher's Version Article: icfpws19haskellmain-p97-p doi:10.1145/3331545.3342601

proc time: 0.02