Abstract is missing.
- Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case studyDominique Devriese. 1-14 [doi]
- Generic and flexible defaults for verified, law-abiding type-class instancesRyan G. Scott, Ryan R. Newton. 15-29 [doi]
- Bidirectional type class instancesKoen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers. 30-43 [doi]
- G2Q: Haskell constraint solvingWilliam T. Hallahan, Anton Xue, Ruzica Piskac. 44-57 [doi]
- Making a faster Curry with extensional typesPaul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones. 58-70 [doi]
- Multi-stage programs in contextMatthew Pickering, Nicolas Wu, Csongor Kiss. 71-84 [doi]
- Working with source pluginsMatthew Pickering, Nicolas Wu, Boldizsár Németh. 85-97 [doi]
- Monad transformers and modular algebraic effects: what binds them togetherTom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff. 98-113 [doi]
- Scoping monadic relational database queriesAnton Ekblad. 114-124 [doi]
- Verifying effectful Haskell programs in CoqJan Christiansen, Sandra Dylus, Niels Bunkenburg. 125-138 [doi]
- Formal verification of spacecraft control programs (experience report)Andrey Mokhov, Georgy Lukyanov, Jakob Lechner. 139-145 [doi]
- STCLang: state thread composition as a foundation for monadic dataflow parallelismSebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón. 146-161 [doi]
- Synthesizing functional reactive programsBernd Finkbeiner, Felix Klein 0001, Ruzica Piskac, Mark Santolucito. 162-175 [doi]