Abstract is missing.
- Coinduction inductively: mechanizing coinductive proofs in Liquid HaskellLykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou. 1-12 [doi]
- How to safely use extensionality in Liquid HaskellNiki Vazou, Michael Greenberg 0002. 13-26 [doi]
- Liquid proof macrosHenry Blanchette, Niki Vazou, Leonidas Lampropoulos. 27-38 [doi]
- A totally predictable outcome: an investigation of traversals of infinite structuresGershom Bazerman. 39-53 [doi]
- Open transactional actions: interacting with non-transactional resources in STM HaskellJonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro. 54-65 [doi]
- Oregano: staging regular expressions with Moore Cayley fusionJamie Willis, Nicolas Wu, Tom Schrijvers. 66-80 [doi]
- Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell CompilerCeleste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer. 81-94 [doi]
- Partial type constructors in practiceApoorv Ingle, Alex Hubers, J. Garrett Morris. 95-107 [doi]
- Reasonable Agda is correct Haskell: writing verified Haskell using agda2hsJesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell. 108-122 [doi]
- Embedded pattern matchingTrevor L. McDonell, Joshua D. Meredith, Gabriele Keller. 123-136 [doi]