Powered by
16th ACM SIGPLAN International Haskell Symposium (Haskell 2023), September 8–9, 2023,
Seattle, WA, USA
16th ACM SIGPLAN International Haskell Symposium (Haskell 2023)
Frontmatter
Keynotes
Haskell for Choice-Based Learning (Keynote)
Ningning Xie
(Google DeepMind, Canada; University of Toronto, Canada)
@InProceedings{Haskell23p1,
author = {Ningning Xie},
title = {Haskell for Choice-Based Learning (Keynote)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609026.3615580},
year = {2023},
}
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)
@InProceedings{Haskell23p35,
author = {Finnbar Keating and Michael B. Gale},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3609026.3609726},
year = {2023},
}
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)
@InProceedings{Haskell23p52,
author = {Ivan Perez and Frank Dedden},
title = {The Essence of Reactivity},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3609026.3609727},
year = {2023},
}
Publisher's Version
Effect Handlers for Programmable Inference
Minh Nguyen,
Roly Perera,
Meng Wang, and
Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
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)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
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)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
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)
@InProceedings{Haskell23p137,
author = {Takato Otsuka and Hideya Iwasaki},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3609026.3609732},
year = {2023},
}
Publisher's Version
proc time: 0.76