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