Haskell C

11 papers

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