Abstract is missing.
- Join Points in Practice (Keynote)Simon Peyton Jones. 1 [doi]
- A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote)Richard A. Eisenberg. 2 [doi]
- A Clash Course in Solving Sudoku (Functional Pearl)Gergo Érdi. 3-16 [doi]
- The Calculated Typer (Functional Pearl)Zac Garby, Patrick Bahr, Graham Hutton. 17-29 [doi]
- Plinth: A Plugin-Powered Language Built on Haskell (Experience Report)Ziyang Liu, Kenneth Mackenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty. 30-37 [doi]
- Rebound: Efficient, Expressive, and Well-Scoped BindingNoé De Santo, Stephanie Weirich. 38-52 [doi]
- Total Type ClassesRobert Weingart, Nicolas Wu. 53-66 [doi]
- Automatic C Bindings Generation for HaskellTravis Cardwell, Sam Derbyshire, Edsko de Vries, Dominik Schrempf. 67-79 [doi]
- Lightweight Testing of Persistent Amortized Time Complexity in the Credit MonadAnton Lorenzen. 80-93 [doi]
- Freer Arrows and Why You Need Them in HaskellGrant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li. 94-108 [doi]
- Staging Automatic Differentiation with FusionSamuel Klumpers, Tom Schrijvers. 109-123 [doi]