BibTeX records: Jan Christiansen

download as .bib file

@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/bib/journals/programming/DylusCT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ChristiansenDB19,
  author    = {Jan Christiansen and
               Sandra Dylus and
               Niels Bunkenburg},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/haskell/2019},
  url       = {https://doi.org/10.1145/3331545.3342592},
  doi       = {10.1145/3331545.3342592},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/ChristiansenDB19},
  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/bib/journals/corr/abs-1905-07212},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DylusCT18,
  author    = {Sandra Dylus and
               Jan Christiansen and
               Finn Teegen},
  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},
  pages     = {3--19},
  year      = {2018},
  crossref  = {DBLP:conf/padl/2018},
  url       = {https://doi.org/10.1007/978-3-319-73305-0\_1},
  doi       = {10.1007/978-3-319-73305-0\_1},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/DylusCT18},
  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/bib/journals/corr/abs-1805-08059},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenDD16,
  author    = {Jan Christiansen and
               Nikita Danilenko and
               Sandra Dylus},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {https://doi.org/10.1145/2951913.2951949},
  doi       = {10.1145/2951913.2951949},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ChristiansenDD16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChristiansenHRS13,
  author    = {Jan Christiansen and
               Michael Hanus and
               Fabian Reck and
               Daniel Seidel},
  title     = {A semantics for weakly encapsulated search in functional logic programs},
  booktitle = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  pages     = {49--60},
  year      = {2013},
  crossref  = {DBLP:conf/ppdp/2013},
  url       = {https://doi.org/10.1145/2505879.2505896},
  doi       = {10.1145/2505879.2505896},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/ChristiansenHRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Christiansen11,
  author    = {Jan Christiansen},
  title     = {Investigating minimally strict functions in functional programming},
  school    = {University of Kiel},
  year      = {2011},
  url       = {http://eldiss.uni-kiel.de/macau/receive/dissertation\_diss\_00009030},
  urn       = {urn:nbn:de:gbv:8-diss-90307},
  timestamp = {Thu, 14 Apr 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Christiansen11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Christiansen11,
  author    = {Jan Christiansen},
  title     = {Sloth - {A} Tool for Checking Minimal-Strictness},
  booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
               {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  pages     = {160--174},
  year      = {2011},
  crossref  = {DBLP:conf/padl/2011},
  url       = {https://doi.org/10.1007/978-3-642-18378-2\_14},
  doi       = {10.1007/978-3-642-18378-2\_14},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/Christiansen11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChristiansenS11,
  author    = {Jan Christiansen and
               Daniel Seidel},
  title     = {Minimally strict polymorphic functions},
  booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  pages     = {53--64},
  year      = {2011},
  crossref  = {DBLP:conf/ppdp/2011},
  url       = {https://doi.org/10.1145/2003476.2003487},
  doi       = {10.1145/2003476.2003487},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/ChristiansenS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/ChristiansenSV10,
  author    = {Jan Christiansen and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {Free theorems for functional logic programs},
  booktitle = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages     = {39--48},
  year      = {2010},
  crossref  = {DBLP:conf/plpv/2010},
  url       = {https://doi.org/10.1145/1707790.1707797},
  doi       = {10.1145/1707790.1707797},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/ChristiansenSV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/ChristiansenSV10,
  author    = {Jan Christiansen and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry},
  booktitle = {Functional and Constraint Logic Programming - 19th International Workshop,
               {WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
  pages     = {119--136},
  year      = {2010},
  crossref  = {DBLP:conf/wflp/2010},
  url       = {https://doi.org/10.1007/978-3-642-20775-4\_7},
  doi       = {10.1007/978-3-642-20775-4\_7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wflp/ChristiansenSV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/ChristiansenSV09,
  author    = {Jan Christiansen and
               Daniel Seidel and
               Janis Voigtl{\"{a}}nder},
  title     = {Free theorems for functional logic programs: (abstract only)},
  journal   = {{SIGPLAN} Notices},
  volume    = {44},
  number    = {11},
  pages     = {7},
  year      = {2009},
  url       = {https://doi.org/10.1145/1816027.1816035},
  doi       = {10.1145/1816027.1816035},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/ChristiansenSV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BrasselC08,
  author    = {Bernd Bra{\ss}el and
               Jan Christiansen},
  title     = {A Relation Algebraic Semantics for a Lazy Functional Logic Language},
  booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
               Conference on Relational Methods in Computer Science, and 5th International
               Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
               Germany, April 7-11, 2008. Proceedings},
  pages     = {37--53},
  year      = {2008},
  crossref  = {DBLP:conf/RelMiCS/2008},
  url       = {https://doi.org/10.1007/978-3-540-78913-0\_5},
  doi       = {10.1007/978-3-540-78913-0\_5},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/BrasselC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/ChristiansenF08,
  author    = {Jan Christiansen and
               Sebastian Fischer},
  title     = {EasyCheck - Test Data for Free},
  booktitle = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  pages     = {322--336},
  year      = {2008},
  crossref  = {DBLP:conf/flops/2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7\_23},
  doi       = {10.1007/978-3-540-78969-7\_23},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/ChristiansenF08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrasselC07,
  author    = {Bernd Bra{\ss}el and
               Jan Christiansen},
  title     = {Denotation by Transformation},
  booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  pages     = {90--105},
  year      = {2007},
  crossref  = {DBLP:conf/lopstr/2007},
  url       = {https://doi.org/10.1007/978-3-540-78769-3\_7},
  doi       = {10.1007/978-3-540-78769-3\_7},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/BrasselC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/ChristiansenH06,
  author    = {Jan Christiansen and
               Frank Huch},
  title     = {A purely functional implementation of ROBDDs in Haskell},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
               Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  pages     = {55--71},
  year      = {2006},
  crossref  = {DBLP:conf/sfp/2006},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/ChristiansenH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChristiansenH04,
  author    = {Jan Christiansen and
               Frank Huch},
  title     = {Searching for deadlocks while debugging concurrent haskell programs},
  booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
               19-21, 2004},
  pages     = {28--39},
  year      = {2004},
  crossref  = {DBLP:conf/icfp/2004},
  url       = {https://doi.org/10.1145/1016850.1016858},
  doi       = {10.1145/1016850.1016858},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ChristiansenH04},
  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://dl.acm.org/citation.cfm?id=3331545},
  isbn      = {978-1-4503-6813-1},
  timestamp = {Mon, 29 Jul 2019 11:20:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2018,
  editor    = {Francesco Calimeri and
               Kevin W. Hamlen and
               Nicola Leone},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-73305-0},
  doi       = {10.1007/978-3-319-73305-0},
  isbn      = {978-3-319-73304-3},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2013,
  editor    = {Ricardo Pe{\~{n}}a and
               Tom Schrijvers},
  title     = {15th International Symposium on Principles and Practice of Declarative
               Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2505879},
  isbn      = {978-1-4503-2154-9},
  timestamp = {Thu, 19 Sep 2013 11:13:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2011,
  editor    = {Ricardo Rocha and
               John Launchbury},
  title     = {Practical Aspects of Declarative Languages - 13th International Symposium,
               {PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6539},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18378-2},
  doi       = {10.1007/978-3-642-18378-2},
  isbn      = {978-3-642-18377-5},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2011,
  editor    = {Peter Schneider{-}Kamp and
               Michael Hanus},
  title     = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 20-22, 2011,
               Odense, Denmark},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0776-5},
  timestamp = {Tue, 18 Oct 2011 19:19:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2010,
  editor    = {Jean{-}Christophe Filli{\^{a}}tre and
               Cormac Flanagan},
  title     = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-890-2},
  timestamp = {Thu, 28 Jan 2010 11:16:07 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2010,
  editor    = {Julio Mari{\~{n}}o},
  title     = {Functional and Constraint Logic Programming - 19th International Workshop,
               {WFLP} 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6559},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20775-4},
  doi       = {10.1007/978-3-642-20775-4},
  isbn      = {978-3-642-20774-7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wflp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2008,
  editor    = {Rudolf Berghammer and
               Bernhard M{\"{o}}ller and
               Georg Struth},
  title     = {Relations and Kleene Algebra in Computer Science, 10th International
               Conference on Relational Methods in Computer Science, and 5th International
               Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
               Germany, April 7-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4988},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78913-0},
  doi       = {10.1007/978-3-540-78913-0},
  isbn      = {978-3-540-78912-3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
  editor    = {Jacques Garrigue and
               Manuel V. Hermenegildo},
  title     = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
               2008, Ise, Japan, April 14-16, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4989},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78969-7},
  doi       = {10.1007/978-3-540-78969-7},
  isbn      = {978-3-540-78968-0},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2007,
  editor    = {Andy King},
  title     = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78769-3},
  doi       = {10.1007/978-3-540-78769-3},
  isbn      = {978-3-540-78768-6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2006,
  editor    = {Henrik Nilsson},
  title     = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
               Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series    = {Trends in Functional Programming},
  volume    = {7},
  publisher = {Intellect},
  year      = {2007},
  isbn      = {978-1-84150-188-8},
  timestamp = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2004,
  editor    = {Chris Okasaki and
               Kathleen Fisher},
  title     = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
               19-21, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-905-5},
  timestamp = {Thu, 25 Nov 2004 10:56:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics