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)


@InProceedings{Haskell19p1, author = {Dominique Devriese}, title = {Modular Effects in Haskell through Effect Polymorphism and Explicit Dictionary Applications: A New Approach and the μVeriFast Verifier as a Case Study}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3331545.3342589}, year = {2019}, } 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)


@InProceedings{Haskell19p19, author = {Ryan G. Scott and Ryan R. Newton}, title = {Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3331545.3342591}, year = {2019}, } 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)


@InProceedings{Haskell19p37, author = {Koen Pauwels and Georgios Karachalias and Michiel Derhaeg and Tom Schrijvers}, title = {Bidirectional Type Class Instances}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3331545.3342596}, year = {2019}, } 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)


@InProceedings{Haskell19p55, author = {William T. Hallahan and Anton Xue and Ruzica Piskac}, title = {G2Q: Haskell Constraint Solving}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3331545.3342590}, year = {2019}, } 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)


@InProceedings{Haskell19p73, author = {Paul Downen and Zachary Sullivan and Zena M. Ariola and Simon Peyton Jones}, title = {Making a Faster Curry with Extensional Types}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3331545.3342594}, year = {2019}, } 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)


@InProceedings{Haskell19p91, author = {Matthew Pickering and Nicolas Wu and Csongor Kiss}, title = {Multi-stage Programs in Context}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3331545.3342597}, year = {2019}, } 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)


@InProceedings{Haskell19p109, author = {Matthew Pickering and Nicolas Wu and Boldizsár Németh}, title = {Working with Source Plugins}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {109-108}, doi = {10.1145/3331545.3342599}, year = {2019}, } 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)


@InProceedings{Haskell19p127, author = {Tom Schrijvers and Maciej Piróg and Nicolas Wu and Mauro Jaskelioff}, title = {Monad Transformers and Modular Algebraic Effects: What Binds Them Together}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {127-126}, doi = {10.1145/3331545.3342595}, year = {2019}, } Publisher's Version Article: icfpws19haskellmain-p27-p doi:10.1145/3331545.3342595

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


@InProceedings{Haskell19p145, author = {Anton Ekblad}, title = {Scoping Monadic Relational Database Queries}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3331545.3342598}, year = {2019}, } 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)


@InProceedings{Haskell19p163, author = {Jan Christiansen and Sandra Dylus and Niels Bunkenburg}, title = {Verifying Effectful Haskell Programs in Coq}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {163-162}, doi = {10.1145/3331545.3342592}, year = {2019}, } 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)


@InProceedings{Haskell19p181, author = {Andrey Mokhov and Georgy Lukyanov and Jakob Lechner}, title = {Formal Verification of Spacecraft Control Programs (Experience Report)}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3331545.3342593}, year = {2019}, } 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)


@InProceedings{Haskell19p191, author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon}, title = {STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {191-190}, doi = {10.1145/3331545.3342600}, year = {2019}, } 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)


@InProceedings{Haskell19p209, author = {Bernd Finkbeiner and Felix Klein and Ruzica Piskac and Mark Santolucito}, title = {Synthesizing Functional Reactive Programs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3331545.3342601}, year = {2019}, } Publisher's Version Article: icfpws19haskellmain-p97-p doi:10.1145/3331545.3342601

proc time: 0.02