kirancodes.me
To Proof Maintenance & Beyond!
Venues / Haskell /

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