BibTeX records: Finn Teegen

download as .bib file

@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/programming/DylusCT19,
  author    = {Sandra Dylus and
               Jan Christiansen and
               Finn Teegen},
  title     = {One Monad to Prove Them All},
  journal   = {Programming Journal},
  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 = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/programming/DylusCT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/DagefordeT19,
  author    = {Jan C. Dagef{\"{o}}rde and
               Finn Teegen},
  editor    = {Petra Hofstedt and
               Salvador Abreu and
               Ulrich John and
               Herbert Kuchen and
               Dietmar Seipel},
  title     = {Structured Traversal of Search Trees in Constraint-Logic Object-Oriented
               Programming},
  booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
               Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
               Germany, September 9-12, 2019, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {12057},
  pages     = {199--214},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46714-2\_13},
  doi       = {10.1007/978-3-030-46714-2\_13},
  timestamp = {Fri, 22 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/inap/DagefordeT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HanusT19,
  author    = {Michael Hanus and
               Finn Teegen},
  editor    = {Petra Hofstedt and
               Salvador Abreu and
               Ulrich John and
               Herbert Kuchen and
               Dietmar Seipel},
  title     = {Adding Data to Curry},
  booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
               Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
               Germany, September 9-12, 2019, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {12057},
  pages     = {230--246},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-46714-2\_15},
  doi       = {10.1007/978-3-030-46714-2\_15},
  timestamp = {Fri, 22 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/inap/HanusT19.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},
  archivePrefix = {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}
}
@article{DBLP:journals/corr/abs-1908-10264,
  author    = {Jan C. Dagef{\"{o}}rde and
               Finn Teegen},
  title     = {Structured Traversal of Search Trees in Constraint-logic Object-oriented
               Programming},
  journal   = {CoRR},
  volume    = {abs/1908.10264},
  year      = {2019},
  url       = {http://arxiv.org/abs/1908.10264},
  archivePrefix = {arXiv},
  eprint    = {1908.10264},
  timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1908-10264.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10607,
  author    = {Michael Hanus and
               Finn Teegen},
  title     = {Adding Data to Curry},
  journal   = {CoRR},
  volume    = {abs/1908.10607},
  year      = {2019},
  url       = {http://arxiv.org/abs/1908.10607},
  archivePrefix = {arXiv},
  eprint    = {1908.10607},
  timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1908-10607.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}
}
@inproceedings{DBLP:conf/wflp/AntoyHT18,
  author    = {Sergio Antoy and
               Michael Hanus and
               Finn Teegen},
  editor    = {Josep Silva},
  title     = {Synthesizing Set Functions},
  booktitle = {Functional and Constraint Logic Programming - 26th International Workshop,
               {WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11285},
  pages     = {93--111},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-16202-3\_6},
  doi       = {10.1007/978-3-030-16202-3\_6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/wflp/AntoyHT18.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},
  archivePrefix = {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}
}
@article{DBLP:journals/corr/abs-1808-07401,
  author    = {Sergio Antoy and
               Michael Hanus and
               Finn Teegen},
  title     = {Synthesizing Set Functions},
  journal   = {CoRR},
  volume    = {abs/1808.07401},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.07401},
  archivePrefix = {arXiv},
  eprint    = {1808.07401},
  timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1808-07401.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics