Haskell 2023 – Proceedings

16th ACM SIGPLAN International Haskell Symposium (Haskell 2023)

Frontmatter

Keynotes

Haskell for Choice-Based Learning (Keynote)
Ningning Xie
(Google DeepMind, Canada; University of Toronto, Canada)

Publisher's Version

The Evolution of Effects (Keynote)
Nicolas Wu
(Imperial College London, UK)

Publisher's Version

Papers

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar Keating and Michael B. Gale
(University of Warwick, UK; GitHub, UK)

Publisher's Version Published Artifact Artifacts Available

The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)

Publisher's Version

An Exceptional Actor System (Functional Pearl)
Patrick Redmond and Lindsey Kuper
(University of California at Santa Cruz, USA)

Publisher's Version Published Artifact Artifacts Available

Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)

Publisher's Version

Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)

Publisher's Version Published Artifact Artifacts Available

HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)

Publisher's Version Published Artifact Artifacts Available

Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)

Publisher's Version

falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries
(Well-Typed LLP, UK)

Publisher's Version

proc time: 1.49