ICFP Workshops 2023
28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023)
Powered by
Conference Publishing Consulting

16th ACM SIGPLAN International Haskell Symposium (Haskell 2023), September 8–9, 2023, Seattle, WA, USA

Haskell 2023 – Proceedings

Contents - Abstracts - Authors

16th ACM SIGPLAN International Haskell Symposium (Haskell 2023)

Frontmatter

Title Page
Welcome from the Chairs
Haskell 2023 Organization

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.3