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 ORCID logo
(Google DeepMind, Canada; University of Toronto, Canada)
Publisher's Version
The Evolution of Effects (Keynote)
Nicolas WuORCID logo
(Imperial College London, UK)
Publisher's Version

Papers

This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar KeatingORCID logo and Michael B. Gale ORCID logo
(University of Warwick, UK; GitHub, UK)
Publisher's Version Published Artifact Artifacts Available
The Essence of Reactivity
Ivan Perez ORCID logo and Frank Dedden ORCID logo
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
Publisher's Version
An Exceptional Actor System (Functional Pearl)
Patrick Redmond ORCID logo and Lindsey Kuper ORCID logo
(University of California at Santa Cruz, USA)
Publisher's Version Published Artifact Artifacts Available
Effect Handlers for Programmable Inference
Minh Nguyen ORCID logo, Roly Perera ORCID logo, Meng Wang ORCID logo, and Steven Ramsay ORCID logo
(University of Bristol, UK)
Publisher's Version
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman ORCID logo, Aviel Resnick ORCID logo, Ivan Perez ORCID logo, Alwyn E. Goodloe ORCID logo, and Leonidas LampropoulosORCID logo
(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 ORCID logo, Robert Krook ORCID logo, Alejandro Russo ORCID logo, and Koen Claessen ORCID logo
(Chalmers University of Technology, Sweden)
Publisher's Version Published Artifact Artifacts Available
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka ORCID logo and Hideya Iwasaki ORCID logo
(University of Electro-Communications, Japan; Meiji University, Japan)
Publisher's Version
falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries ORCID logo
(Well-Typed LLP, UK)
Publisher's Version

proc time: 2.4