Haskell

Keyphrases

Publications

2023

Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay
Effect Handlers for Programmable Inference. Haskell (2023)
Finnbar Keating, Michael B. Gale
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. Haskell (2023)
Edsko de Vries
falsify: Internal Shrinking Reimagined for Haskell. Haskell (2023)
Ivan Perez, Frank Dedden
The Essence of Reactivity. Haskell (2023)
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. Haskell (2023)
Ningning Xie
Haskell for Choice-Based Learning (Keynote). Haskell (2023)
Takato Otsuka, Hideya Iwasaki
Haskell Library for Safer Virtual Machine Introspection (Experience Report). Haskell (2023)
Nicolas Wu
The Evolution of Effects (Keynote). Haskell (2023)
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023 Haskell (2023)
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
HasTEE: Programming Trusted Execution Environments with Haskell. Haskell (2023)
Patrick Redmond, Lindsey Kuper
An Exceptional Actor System (Functional Pearl). Haskell (2023)

2022

2021

2017