default search action

combined dblp search
author search
venue search
publication search

ask others

16th Haskell 2023: Seattle, WA, USA

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2023
Trevor L. McDonell, Niki Vazou:
Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, Haskell 2023, Seattle, WA, USA, September 8-9, 2023. ACM 2023
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Xie23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Xie23
Ningning Xie:
Haskell for Choice-Based Learning (Keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Wu23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Wu23
Nicolas Wu:
The Evolution of Effects (Keynote). 2
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KeatingG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KeatingG23
Finnbar Keating, Michael B. Gale:
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/0001D23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/0001D23
Ivan Perez, Frank Dedden:
The Essence of Reactivity. 18-31
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/RedmondK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/RedmondK23
Patrick Redmond, Lindsey Kuper:
An Exceptional Actor System (Functional Pearl). 32-43
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/NguyenPWR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/NguyenPWR23
Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay:
Effect Handlers for Programmable Inference. 44-58
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MittelmanR0GL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MittelmanR0GL23
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. 59-71
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/SarkarKRC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/SarkarKRC23
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen:
HasTEE: Programming Trusted Execution Environments with Haskell. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/OtsukaI23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/OtsukaI23
Takato Otsuka, Hideya Iwasaki:
Haskell Library for Safer Virtual Machine Introspection (Experience Report). 89-96
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Vries23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Vries23
Edsko de Vries:
falsify: Internal Shrinking Reimagined for Haskell. 97-109

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.