@inproceedings{BrasselC08,
  title = {A Relation Algebraic Semantics for a Lazy Functional Logic Language},
  author = {Bernd Braßel and Jan Christiansen},
  year = {2008},
  doi = {10.1007/978-3-540-78913-0_5},
  url = {http://dx.doi.org/10.1007/978-3-540-78913-0_5},
  tags = {laziness, semantics,  algebra, logic},
  researchr = {https://researchr.org/publication/BrasselC08},
  cites = {0},
  citedby = {0},
  pages = {37-53},
  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örth, Germany, April 7-11, 2008. P},
  editor = {Rudolf Berghammer and Bernhard Möller and Georg Struth},
  volume = {4988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78912-3},
}

@inproceedings{ChristiansenHRS13,
  title = {A semantics for weakly encapsulated search in functional logic programs},
  author = {Jan Christiansen and Michael Hanus and Fabian Reck and Daniel Seidel},
  year = {2013},
  doi = {10.1145/2505879.2505896},
  url = {http://doi.acm.org/10.1145/2505879.2505896},
  researchr = {https://researchr.org/publication/ChristiansenHRS13},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013},
  editor = {Ricardo Peña and Tom Schrijvers},
  publisher = {ACM},
  isbn = {978-1-4503-2154-9},
}

@inproceedings{ChristiansenH06:0,
  title = {A purely functional implementation of ROBDDs in Haskell},
  author = {Jan Christiansen and Frank Huch},
  year = {2006},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/ChristiansenH06%3A0},
  cites = {0},
  citedby = {0},
  pages = {55-71},
  booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006},
  editor = {Henrik Nilsson},
  volume = {7},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-188-8},
}

@inproceedings{Christiansen11,
  title = {Sloth - A Tool for Checking Minimal-Strictness},
  author = {Jan Christiansen},
  year = {2011},
  doi = {10.1007/978-3-642-18378-2_14},
  url = {http://dx.doi.org/10.1007/978-3-642-18378-2_14},
  researchr = {https://researchr.org/publication/Christiansen11},
  cites = {0},
  citedby = {0},
  pages = {160-174},
  booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
  editor = {Ricardo Rocha and John Launchbury},
  volume = {6539},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-18377-5},
}

@inproceedings{ChristiansenF08,
  title = {EasyCheck - Test Data for Free},
  author = {Jan Christiansen and Sebastian Fischer},
  year = {2008},
  doi = {10.1007/978-3-540-78969-7_23},
  url = {http://dx.doi.org/10.1007/978-3-540-78969-7_23},
  tags = {testing, data-flow},
  researchr = {https://researchr.org/publication/ChristiansenF08},
  cites = {0},
  citedby = {0},
  pages = {322-336},
  booktitle = {Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings},
  editor = {Jacques Garrigue and Manuel V. Hermenegildo},
  volume = {4989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78968-0},
}

@inproceedings{ChristiansenS11,
  title = {Minimally strict polymorphic functions},
  author = {Jan Christiansen and Daniel Seidel},
  year = {2011},
  doi = {10.1145/2003476.2003487},
  url = {http://doi.acm.org/10.1145/2003476.2003487},
  researchr = {https://researchr.org/publication/ChristiansenS11},
  cites = {0},
  citedby = {0},
  pages = {53-64},
  booktitle = {Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark},
  editor = {Peter Schneider-Kamp and Michael Hanus},
  publisher = {ACM},
  isbn = {978-1-4503-0776-5},
}

@inproceedings{ChristiansenH04,
  title = {Searching for deadlocks while debugging concurrent haskell programs},
  author = {Jan Christiansen and Frank Huch},
  year = {2004},
  doi = {10.1145/1016850.1016858},
  url = {http://doi.acm.org/10.1145/1016850.1016858},
  tags = {Haskell, debugging},
  researchr = {https://researchr.org/publication/ChristiansenH04},
  cites = {0},
  citedby = {0},
  pages = {28-39},
  booktitle = {Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004},
  editor = {Chris Okasaki and Kathleen Fisher},
  publisher = {ACM},
  isbn = {1-58113-905-5},
}

@inproceedings{ChristiansenSV10,
  title = {An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry},
  author = {Jan Christiansen and Daniel Seidel and Janis Voigtländer},
  year = {2010},
  doi = {10.1007/978-3-642-20775-4_7},
  url = {http://dx.doi.org/10.1007/978-3-642-20775-4_7},
  researchr = {https://researchr.org/publication/ChristiansenSV10},
  cites = {0},
  citedby = {0},
  pages = {119-136},
  booktitle = {Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers},
  editor = {Julio Mariño},
  volume = {6559},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-20774-7},
}

@article{ChristiansenSV09,
  title = {Free theorems for functional logic programs: (abstract only)},
  author = {Jan Christiansen and Daniel Seidel and Janis Voigtländer},
  year = {2009},
  doi = {10.1145/1816027.1816035},
  url = {http://doi.acm.org/10.1145/1816027.1816035},
  researchr = {https://researchr.org/publication/ChristiansenSV09},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {44},
  number = {11},
  pages = {7},
}

@inproceedings{CSV10,
  title = {Free theorems for functional logic programs},
  author = {Jan Christiansen and Daniel Seidel and Janis Voigtländer},
  year = {2010},
  doi = {10.1145/1707790.1707797},
  url = {http://doi.acm.org/10.1145/1707790.1707797},
  tags = {programming languages, rule-based, case study, functional programming,  Curry, Haskell, relational parametricity, logic programming, programming, logic, type theory},
  researchr = {https://researchr.org/publication/CSV10},
  cites = {0},
  citedby = {0},
  pages = {39-48},
  booktitle = {Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, PLPV 2010, Madrid, Spain, January 19, 2010},
  editor = {Cormac Flanagan and Jean-Christophe Filliâtre},
  publisher = {ACM},
  isbn = {978-1-60558-890-2},
}

@inproceedings{BrasselC07,
  title = {Denotation by Transformation},
  author = {Bernd Braßel and Jan Christiansen},
  year = {2007},
  doi = {10.1007/978-3-540-78769-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-78769-3_7},
  tags = {transformation},
  researchr = {https://researchr.org/publication/BrasselC07},
  cites = {0},
  citedby = {0},
  pages = {90-105},
  booktitle = {Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
  editor = {Andy King},
  volume = {4915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78768-6},
}