Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Sandra Dylus
@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} }
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.