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

Workshop Haskell 2019 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N P R S W X

Adam, Justus Haskell '19: "STCLang: State Thread Composition ..."
Ariola, Zena M. Haskell '19: "Making a Faster Curry with ..."
Bunkenburg, Niels Haskell '19: "Verifying Effectful Haskell ..."
Castrillon, Jeronimo Haskell '19: "STCLang: State Thread Composition ..."
Christiansen, Jan Haskell '19: "Verifying Effectful Haskell ..."
Derhaeg, Michiel Haskell '19: "Bidirectional Type Class Instances ..."
Devriese, Dominique Haskell '19: "Modular Effects in Haskell ..."
Downen, Paul Haskell '19: "Making a Faster Curry with ..."
Dylus, Sandra Haskell '19: "Verifying Effectful Haskell ..."
Ekblad, Anton Haskell '19: "Scoping Monadic Relational ..."
Ertel, Sebastian Haskell '19: "STCLang: State Thread Composition ..."
Finkbeiner, Bernd Haskell '19: "Synthesizing Functional Reactive ..."
Goens, Andrés Haskell '19: "STCLang: State Thread Composition ..."
Hallahan, William T. Haskell '19: "G2Q: Haskell Constraint Solving ..."
Jaskelioff, Mauro Haskell '19: "Monad Transformers and Modular ..."
Karachalias, Georgios Haskell '19: "Bidirectional Type Class Instances ..."
Kiss, Csongor Haskell '19: "Multi-stage Programs in Context ..."
Klein, Felix Haskell '19: "Synthesizing Functional Reactive ..."
Lechner, Jakob Haskell '19: "Formal Verification of Spacecraft ..."
Lukyanov, Georgy Haskell '19: "Formal Verification of Spacecraft ..."
Mokhov, Andrey Haskell '19: "Formal Verification of Spacecraft ..."
Németh, Boldizsár Haskell '19: "Working with Source Plugins ..."
Newton, Ryan R. Haskell '19: "Generic and Flexible Defaults ..."
Pauwels, Koen Haskell '19: "Bidirectional Type Class Instances ..."
Peyton Jones, Simon Haskell '19: "Making a Faster Curry with ..."
Pickering, Matthew Haskell '19: "Multi-stage Programs in Context ..." Haskell '19: "Working with Source Plugins ..."
Piróg, Maciej Haskell '19: "Monad Transformers and Modular ..."
Piskac, Ruzica Haskell '19: "G2Q: Haskell Constraint Solving ..." Haskell '19: "Synthesizing Functional Reactive ..."
Rink, Norman A. Haskell '19: "STCLang: State Thread Composition ..."
Santolucito, Mark Haskell '19: "Synthesizing Functional Reactive ..."
Schrijvers, Tom Haskell '19: "Monad Transformers and Modular ..." Haskell '19: "Bidirectional Type Class Instances ..."
Scott, Ryan G. Haskell '19: "Generic and Flexible Defaults ..."
Sullivan, Zachary Haskell '19: "Making a Faster Curry with ..."
Wu, Nicolas Haskell '19: "Monad Transformers and Modular ..." Haskell '19: "Multi-stage Programs in Context ..." Haskell '19: "Working with Source Plugins ..."
Xue, Anton Haskell '19: "G2Q: Haskell Constraint Solving ..."

35 authors

proc time: 6.55