Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/haskell/ChristiansenDB19,
  author       = {Jan Christiansen and
                  Sandra Dylus and
                  Niels Bunkenburg},
  editor       = {Richard A. Eisenberg},
  title        = {Verifying effectful Haskell programs in Coq},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {125--138},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342592},
  doi          = {10.1145/3331545.3342592},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ChristiansenDB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Devriese19,
  author       = {Dominique Devriese},
  editor       = {Richard A. Eisenberg},
  title        = {Modular effects in Haskell through effect polymorphism and explicit
                  dictionary applications: a new approach and the {\(\mu\)}VeriFast
                  verifier as a case study},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {1--14},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342589},
  doi          = {10.1145/3331545.3342589},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Devriese19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/DownenSAJ19,
  author       = {Paul Downen and
                  Zachary Sullivan and
                  Zena M. Ariola and
                  Simon Peyton Jones},
  editor       = {Richard A. Eisenberg},
  title        = {Making a faster Curry with extensional types},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {58--70},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342594},
  doi          = {10.1145/3331545.3342594},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/DownenSAJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Ekblad19,
  author       = {Anton Ekblad},
  editor       = {Richard A. Eisenberg},
  title        = {Scoping monadic relational database queries},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {114--124},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342598},
  doi          = {10.1145/3331545.3342598},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Ekblad19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/ErtelARGC19,
  author       = {Sebastian Ertel and
                  Justus Adam and
                  Norman A. Rink and
                  Andr{\'{e}}s Goens and
                  Jer{\'{o}}nimo Castrill{\'{o}}n},
  editor       = {Richard A. Eisenberg},
  title        = {STCLang: state thread composition as a foundation for monadic dataflow
                  parallelism},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {146--161},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342600},
  doi          = {10.1145/3331545.3342600},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ErtelARGC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/Finkbeiner0PS19,
  author       = {Bernd Finkbeiner and
                  Felix Klein and
                  Ruzica Piskac and
                  Mark Santolucito},
  editor       = {Richard A. Eisenberg},
  title        = {Synthesizing functional reactive programs},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {162--175},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342601},
  doi          = {10.1145/3331545.3342601},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/Finkbeiner0PS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/HallahanXP19,
  author       = {William T. Hallahan and
                  Anton Xue and
                  Ruzica Piskac},
  editor       = {Richard A. Eisenberg},
  title        = {{G2Q:} Haskell constraint solving},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {44--57},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342590},
  doi          = {10.1145/3331545.3342590},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/HallahanXP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/MokhovLL19,
  author       = {Andrey Mokhov and
                  Georgy Lukyanov and
                  Jakob Lechner},
  editor       = {Richard A. Eisenberg},
  title        = {Formal verification of spacecraft control programs (experience report)},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {139--145},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342593},
  doi          = {10.1145/3331545.3342593},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/MokhovLL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/PauwelsKDS19,
  author       = {Koen Pauwels and
                  Georgios Karachalias and
                  Michiel Derhaeg and
                  Tom Schrijvers},
  editor       = {Richard A. Eisenberg},
  title        = {Bidirectional type class instances},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {30--43},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342596},
  doi          = {10.1145/3331545.3342596},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/PauwelsKDS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/PickeringWK19,
  author       = {Matthew Pickering and
                  Nicolas Wu and
                  Csongor Kiss},
  editor       = {Richard A. Eisenberg},
  title        = {Multi-stage programs in context},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {71--84},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342597},
  doi          = {10.1145/3331545.3342597},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/PickeringWK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/PickeringWN19,
  author       = {Matthew Pickering and
                  Nicolas Wu and
                  Boldizs{\'{a}}r N{\'{e}}meth},
  editor       = {Richard A. Eisenberg},
  title        = {Working with source plugins},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {85--97},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342599},
  doi          = {10.1145/3331545.3342599},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/PickeringWN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/SchrijversPWJ19,
  author       = {Tom Schrijvers and
                  Maciej Pir{\'{o}}g and
                  Nicolas Wu and
                  Mauro Jaskelioff},
  editor       = {Richard A. Eisenberg},
  title        = {Monad transformers and modular algebraic effects: what binds them
                  together},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {98--113},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342595},
  doi          = {10.1145/3331545.3342595},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/SchrijversPWJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/ScottN19,
  author       = {Ryan G. Scott and
                  Ryan R. Newton},
  editor       = {Richard A. Eisenberg},
  title        = {Generic and flexible defaults for verified, law-abiding type-class
                  instances},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  pages        = {15--29},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545.3342591},
  doi          = {10.1145/3331545.3342591},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/ScottN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/haskell/2019,
  editor       = {Richard A. Eisenberg},
  title        = {Proceedings of the 12th {ACM} {SIGPLAN} International Symposium on
                  Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331545},
  doi          = {10.1145/3331545},
  isbn         = {978-1-4503-6813-1},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.