ICFP 2019 (series) / Haskell 2019 (series) /
Haskell 2019 Program
This is the Haskell 2019 program - see the full program for ICFP 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Thu 22 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Gender equality in academia: meeting the challenge Haskell File Attached |
10:30 - 12:00 | |||
10:30 30mResearch paper | Bidirectional Type Class Instances Haskell Koen Pauwels KU Leuven, Georgios Karachalias KU Leuven, Belgium, Michiel Derhaeg Guardsquare, Tom Schrijvers KU Leuven | ||
11:00 30mResearch paper | Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances Haskell Pre-print File Attached | ||
11:30 30mResearch paper | Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study Haskell Dominique Devriese Vrije Universiteit Brussel File Attached |
13:30 - 15:00 | Paper Session 2: VerificationHaskell at Aurora Borealis Chair(s): Ningning Xie The University of Hong Kong | ||
13:30 30mResearch paper | Verifying Effectful Haskell Programs in Coq Haskell Jan Christiansen Flensburg University of Applied Sciences, Germany, Sandra Dylus University of Kiel, Germany, Niels Bunkenburg University of Kiel, Germany | ||
14:00 30mTalk | Solving Haskell equality constraints using Coq Haskell File Attached | ||
14:30 30mExperience report | Formal Verification of Spacecraft Control Programs: An Experience Report Haskell Andrey Mokhov Newcastle University, UK, Georgy Lukyanov Newcastle University, UK, Jakob Lechner RUAG Space Austria GmbH |
15:20 - 16:30 | |||
15:20 30mResearch paper | G2Q: Haskell Constraint Solving Haskell | ||
15:50 30mTalk | Making a Faster Curry with Extensional Types Haskell Paul Downen University of Oregon, USA, Zachary Sullivan , Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft, UK |
16:50 - 18:15 | Paper Session 4: MetaprogrammingHaskell at Aurora Borealis Chair(s): Christiaan Baaij QBayLogic B.V. | ||
16:50 30mResearch paper | Multi-Stage Programs in Context Haskell Matthew Pickering University of Bristol, Nicolas Wu Imperial College London, Csongor Kiss Imperial College London | ||
17:20 30mResearch paper | Working with Source Plugins Haskell Matthew Pickering University of Bristol, Nicolas Wu Imperial College London, Boldizsár Németh Eötvös Loránd University | ||
17:50 10mOther | PC Chair Report Haskell Richard A. Eisenberg Bryn Mawr College, USA |
Fri 23 AugDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Aug
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Haskell Use and Abuse at Scale Haskell |
10:30 - 12:00 | |||
10:30 30mResearch paper | STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism Haskell Sebastian Ertel , Justus Adam Technische Universität Dresden, Norman A. Rink TU Dresden, Germany, Andrés Goens , Jeronimo Castrillon TU Dresden, Germany | ||
11:00 30mResearch paper | Synthesizing Functional Reactive Programs Haskell Bernd Finkbeiner , Felix Klein Saarland University, Ruzica Piskac Yale University, USA, Mark Santolucito Yale University, USA | ||
11:30 30mTalk | The essence of live coding: Change the program, keep the state! Haskell Manuel Bärenz sonnen eServices GmbH File Attached |
13:30 - 15:00 | |||
13:30 30mResearch paper | Monad Transformers and Modular Algebraic Effects: What Binds Them Together Haskell Tom Schrijvers KU Leuven, Maciej Piróg University of Wrocław, Nicolas Wu Imperial College London, Mauro Jaskelioff CONICET, Argentina | ||
14:00 30mResearch paper | Scoping Monadic Relational Database Queries Haskell Anton Ekblad Chalmers University of Technology |