Haskell 2023

10 papers

1. An Exceptional Actor System (Functional Pearl) · Patrick Redmond, Lindsey Kuper
2. Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing · Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
3. Effect Handlers for Programmable Inference · Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
4. HasTEE: Programming Trusted Execution Environments with Haskell · Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
5. Haskell Library for Safer Virtual Machine Introspection (Experience Report) · Takato Otsuka, Hideya Iwasaki
6. Haskell for Choice-Based Learning (Keynote) · Ningning Xie
7. The Essence of Reactivity · Ivan Perez, Frank Dedden
8. The Evolution of Effects (Keynote) · Nicolas Wu
9. This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs · Finnbar Keating, Michael B. Gale
10. falsify: Internal Shrinking Reimagined for Haskell · Edsko de Vries