BibTeX records: Sandra Dylus

download as .bib file

@phdthesis{DBLP:phd/dnb/Dylus20,
  author       = {Sandra Dylus},
  title        = {Effectful Programming in Declarative Languages with an Emphasis on
                  Non-Determinism: Applications and Formal Reasoning},
  school       = {University of Kiel, Germany},
  year         = {2020},
  url          = {https://macau.uni-kiel.de/receive/macau\_mods\_00000540},
  urn          = {urn:nbn:de:gbv:8-mods-2020-00197-9},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Dylus20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DylusCT20,
  author       = {Sandra Dylus and
                  Jan Christiansen and
                  Finn Teegen},
  title        = {Implementing a Library for Probabilistic Programming Using Non-strict
                  Non-determinism},
  journal      = {Theory Pract. Log. Program.},
  volume       = {20},
  number       = {1},
  pages        = {147--175},
  year         = {2020},
  url          = {https://doi.org/10.1017/S1471068419000085},
  doi          = {10.1017/S1471068419000085},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/DylusCT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01531,
  author       = {Sandra Dylus},
  title        = {Effectful Programming in Declarative Languages with an Emphasis on
                  Non-Determinism: Applications and Formal Reasoning},
  journal      = {CoRR},
  volume       = {abs/2006.01531},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.01531},
  eprinttype    = {arXiv},
  eprint       = {2006.01531},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-01531.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/DylusCT19,
  author       = {Sandra Dylus and
                  Jan Christiansen and
                  Finn Teegen},
  title        = {One Monad to Prove Them All},
  journal      = {Art Sci. Eng. Program.},
  volume       = {3},
  number       = {3},
  pages        = {8},
  year         = {2019},
  url          = {https://doi.org/10.22152/programming-journal.org/2019/3/8},
  doi          = {10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/programming/DylusCT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@article{DBLP:journals/corr/abs-1905-07212,
  author       = {Sandra Dylus and
                  Jan Christiansen and
                  Finn Teegen},
  title        = {Implementing a Library for Probabilistic Programming using Non-strict
                  Non-determinism},
  journal      = {CoRR},
  volume       = {abs/1905.07212},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.07212},
  eprinttype    = {arXiv},
  eprint       = {1905.07212},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-07212.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DylusCT18,
  author       = {Sandra Dylus and
                  Jan Christiansen and
                  Finn Teegen},
  editor       = {Francesco Calimeri and
                  Kevin W. Hamlen and
                  Nicola Leone},
  title        = {Probabilistic Functional Logic Programming},
  booktitle    = {Practical Aspects of Declarative Languages - 20th International Symposium,
                  {PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10702},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-73305-0\_1},
  doi          = {10.1007/978-3-319-73305-0\_1},
  timestamp    = {Fri, 27 Mar 2020 08:57:16 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/DylusCT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08059,
  author       = {Jan Christiansen and
                  Sandra Dylus and
                  Finn Teegen},
  title        = {One Monad to Prove Them All (Functional Pearl)},
  journal      = {CoRR},
  volume       = {abs/1805.08059},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.08059},
  eprinttype    = {arXiv},
  eprint       = {1805.08059},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-08059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenDD16,
  author       = {Jan Christiansen and
                  Nikita Danilenko and
                  Sandra Dylus},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  title        = {All sorts of permutations (functional pearl)},
  booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
                  2016},
  pages        = {168--179},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951949},
  doi          = {10.1145/2951913.2951949},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ChristiansenDD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics