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
Article: icfpws23haskellforeword-fm000-p doi:
Welcome from the Chairs
Article: icfpws23haskellforeword-fm001-p doi:
Haskell 2023 Organization
Article: icfpws23haskellforeword-fm002-p doi:

Keynotes

Haskell for Choice-Based Learning (Keynote)
Ningning Xie
(Google DeepMind, Canada; University of Toronto, Canada)
Publisher's Version Article: icfpws23haskellmain-key1-p doi:10.1145/3609026.3615580
The Evolution of Effects (Keynote)
Nicolas Wu
(Imperial College London, UK)
Publisher's Version Article: icfpws23haskellmain-key2-p doi:10.1145/3609026.3615581

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 Article: icfpws23haskellmain-id21-p doi:10.1145/3609026.3609726
The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
Publisher's Version Article: icfpws23haskellmain-id29-p doi:10.1145/3609026.3609727
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 Article: icfpws23haskellmain-id51-p doi:10.1145/3609026.3609728
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
Publisher's Version Article: icfpws23haskellmain-id59-p doi:10.1145/3609026.3609729
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 Article: icfpws23haskellmain-id64-p doi:10.1145/3609026.3609730
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 Article: icfpws23haskellmain-id75-p doi:10.1145/3609026.3609731
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 Article: icfpws23haskellmain-id77-p doi:10.1145/3609026.3609732
falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries
(Well-Typed LLP, UK)
Publisher's Version Article: icfpws23haskellmain-id80-p doi:10.1145/3609026.3609733

proc time: 48.87