Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/haskell/haskell2023.bht:"
download as .bib file
@inproceedings{DBLP:conf/haskell/0001D23,
author = {Ivan Perez and
Frank Dedden},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {The Essence of Reactivity},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {18--31},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609727},
doi = {10.1145/3609026.3609727},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/0001D23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/KeatingG23,
author = {Finnbar Keating and
Michael B. Gale},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional
Reactive Programs},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {3--17},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609726},
doi = {10.1145/3609026.3609726},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/KeatingG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MittelmanR0GL23,
author = {Segev Elazar Mittelman and
Aviel Resnick and
Ivan Perez and
Alwyn E. Goodloe and
Leonidas Lampropoulos},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based
Testing},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {59--71},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609730},
doi = {10.1145/3609026.3609730},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/MittelmanR0GL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/NguyenPWR23,
author = {Minh Nguyen and
Roly Perera and
Meng Wang and
Steven Ramsay},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {44--58},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609729},
doi = {10.1145/3609026.3609729},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/NguyenPWR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/OtsukaI23,
author = {Takato Otsuka and
Hideya Iwasaki},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience
Report)},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {89--96},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609732},
doi = {10.1145/3609026.3609732},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/OtsukaI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/RedmondK23,
author = {Patrick Redmond and
Lindsey Kuper},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {An Exceptional Actor System (Functional Pearl)},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {32--43},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609728},
doi = {10.1145/3609026.3609728},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/RedmondK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/SarkarKRC23,
author = {Abhiroop Sarkar and
Robert Krook and
Alejandro Russo and
Koen Claessen},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {72--88},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609731},
doi = {10.1145/3609026.3609731},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/SarkarKRC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Vries23,
author = {Edsko de Vries},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {falsify: Internal Shrinking Reimagined for Haskell},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {97--109},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3609733},
doi = {10.1145/3609026.3609733},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Vries23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Wu23,
author = {Nicolas Wu},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {The Evolution of Effects (Keynote)},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {2},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3615581},
doi = {10.1145/3609026.3615581},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Wu23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Xie23,
author = {Ningning Xie},
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Haskell for Choice-Based Learning (Keynote)},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
pages = {1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026.3615580},
doi = {10.1145/3609026.3615580},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/Xie23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2023,
editor = {Trevor L. McDonell and
Niki Vazou},
title = {Proceedings of the 16th {ACM} {SIGPLAN} International Haskell Symposium,
Haskell 2023, Seattle, WA, USA, September 8-9, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609026},
doi = {10.1145/3609026},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-21 21:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
