Search dblp for Publications

export results for "toc:db/conf/haskell/haskell2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/haskell/Bazerman22,
  author       = {Gershom Bazerman},
  editor       = {Nadia Polikarpova},
  title        = {A totally predictable outcome: an investigation of traversals of infinite
                  structures},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {39--53},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549915},
  doi          = {10.1145/3546189.3549915},
  timestamp    = {Thu, 20 Oct 2022 17:38:56 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Bazerman22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/BlanchetteVL22,
  author       = {Henry Blanchette and
                  Niki Vazou and
                  Leonidas Lampropoulos},
  editor       = {Nadia Polikarpova},
  title        = {Liquid proof macros},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549921},
  doi          = {10.1145/3546189.3549921},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/BlanchetteVL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/CockxME0N22,
  author       = {Jesper Cockx and
                  Orestis Melkonian and
                  Lucas Escot and
                  James Chapman and
                  Ulf Norell},
  editor       = {Nadia Polikarpova},
  title        = {Reasonable Agda is correct Haskell: writing verified Haskell using
                  agda2hs},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {108--122},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549920},
  doi          = {10.1145/3546189.3549920},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/CockxME0N22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ConceicaoBFCR22,
  author       = {Jonathas Augusto de Oliveira Concei{\c{c}}{\~{a}}o and
                  Andr{\'{e}} Rauber Du Bois and
                  Samuel da Silva Feitosa and
                  Gerson Geraldo Homrich Cavalheiro and
                  Rodrigo Geraldo Ribeiro},
  editor       = {Nadia Polikarpova},
  title        = {Open transactional actions: interacting with non-transactional resources
                  in {STM} Haskell},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {54--65},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549924},
  doi          = {10.1145/3546189.3549924},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ConceicaoBFCR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/HollenbeckOS22,
  author       = {Celeste Hollenbeck and
                  Michael F. P. O'Boyle and
                  Michel Steuwer},
  editor       = {Nadia Polikarpova},
  title        = {Investigating magic numbers: improving the inlining heuristic in the
                  Glasgow Haskell Compiler},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {81--94},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549918},
  doi          = {10.1145/3546189.3549918},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/HollenbeckOS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/IngleHM22,
  author       = {Apoorv Ingle and
                  Alex Hubers and
                  J. Garrett Morris},
  editor       = {Nadia Polikarpova},
  title        = {Partial type constructors in practice},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {95--107},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549923},
  doi          = {10.1145/3546189.3549923},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/IngleHM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MastorouPV22,
  author       = {Lykourgos Mastorou and
                  Nikolaos Papaspyrou and
                  Niki Vazou},
  editor       = {Nadia Polikarpova},
  title        = {Coinduction inductively: mechanizing coinductive proofs in Liquid
                  Haskell},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549922},
  doi          = {10.1145/3546189.3549922},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/MastorouPV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/McDonellMK22,
  author       = {Trevor L. McDonell and
                  Joshua D. Meredith and
                  Gabriele Keller},
  editor       = {Nadia Polikarpova},
  title        = {Embedded pattern matching},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {123--136},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549917},
  doi          = {10.1145/3546189.3549917},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/McDonellMK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/Vazou022,
  author       = {Niki Vazou and
                  Michael Greenberg},
  editor       = {Nadia Polikarpova},
  title        = {How to safely use extensionality in Liquid Haskell},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {13--26},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549919},
  doi          = {10.1145/3546189.3549919},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/Vazou022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/WillisWS22,
  author       = {Jamie Willis and
                  Nicolas Wu and
                  Tom Schrijvers},
  editor       = {Nadia Polikarpova},
  title        = {Oregano: staging regular expressions with Moore Cayley fusion},
  booktitle    = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  pages        = {66--80},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189.3549916},
  doi          = {10.1145/3546189.3549916},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/WillisWS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2022,
  editor       = {Nadia Polikarpova},
  title        = {Haskell '22: 15th {ACM} {SIGPLAN} International Haskell Symposium,
                  Ljubljana, Slovenia, September 15 - 16, 2022},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3546189},
  doi          = {10.1145/3546189},
  isbn         = {978-1-4503-9438-3},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}