thesis.bib

@INPROCEEDINGS{orig,
URL = {http://www.janis-voigtlaender.eu/MSSV14.html},
AUTHOR  = {Stefan Mehner and Daniel Seidel and Lutz Stra{\ss}burger and Janis Voigtl\"ander},
TITLE   = {Parametricity and Proving Free Theorems for Functional-Logic Languages},
EDITOR  = {Olivier Danvy},
BOOKTITLE = {16th International Symposium on Principles and Practice of Declarative Programming, Canterbury, United Kingdom, Proceedings},
MONTH   = SEP,
YEAR    = 2014,
PUBLISHER = {ACM Press},
DOI = {10.1145/2643135.2643147},
KEYWORDS = {semantics, types, call-time choice, reasoning about programs, nondeterminism, free variables, free theorems, parametricity}}

@inproceedings{bh,
  author    = "B. Brassel and F. Huch",
  title     = "On a Tighter Integration of Functional and Logic Programming",
  booktitle = "Programming Languages and Systems, 5th Asian Symposium,
               APLAS 2007, Singapure, November 2007",
  year      = "2007",
  pages     = "122-138",
  series    = "LNCS",
  volume    = "4807",
  publisher = "Springer",
}

@article{ahhov,
title = "Operational semantics for declarative multi-paradigm languages",
journal = "Journal of Symbolic Computation",
volume = "40",
number = "1",
pages = "795 - 829",
year = "2005",
note = "Reduction Strategies in Rewriting and Programming special issue",
issn = "0747-7171",
doi = "10.1016/j.jsc.2004.01.001",
url = "http://www.sciencedirect.com/science/article/pii/S0747717105000313",
author = "Elvira Albert and Michael Hanus and Frank Huch and Javier Oliver and Germán Vidal",
keywords = "Functional logic programming",
keywords = "Operational semantics "
}

@inproceedings{indentation,
 author = {Adams, Michael D. and A\u{g}acan, \"{O}mer S.},
 title = {Indentation-sensitive Parsing for Parsec},
 booktitle = {Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell},
 series = {Haskell '14},
 year = {2014},
 isbn = {978-1-4503-3041-1},
 location = {Gothenburg, Sweden},
 pages = {121--132},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2633357.2633369},
 doi = {10.1145/2633357.2633369},
 acmid = {2633369},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {indentation sensitivity, layout, offside rule, parsec, parsing},
}

@INPROCEEDINGS{pretty,
    author = {Philip Wadler},
    title = {A Prettier Printer},
    booktitle = {Journal of Functional Programming},
    year = {1998},
    pages = {223--244},
    publisher = {Palgrave Macmillan}
}

@INPROCEEDINGS{codensity,
URL = {http://www.janis-voigtlaender.eu/Voi08d.html},
AUTHOR  = {Janis Voigtl\"ander},
TITLE   = {Asymptotic Improvement of Computations over Free Monads},
EDITOR  = {Christine Paulin-Mohring and Philippe Audebaud},
BOOKTITLE = {Mathematics of Program Construction, Marseille, France,
             Proceedings},
MONTH   = JUL,
YEAR    = 2008,
PAGES   = {388-403},
SERIES  = {LNCS},
VOLUME  = 5133,
DOI = {10.1007/978-3-540-70594-9_20},
PUBLISHER = {Springer-Verlag}
}

@inproceedings{nondetana,
 author = {Hanus, Michael and Steiner, Frank},
 title = {Type-based Nondeterminism Checking in Functional Logic Programs},
 booktitle = {Proceedings of the 2Nd ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming},
 series = {PPDP '00},
 year = {2000},
 isbn = {1-58113-265-4},
 location = {Montreal, Quebec, Canada},
 pages = {202--213},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/351268.351292},
 doi = {10.1145/351268.351292},
 acmid = {351292},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{curry,
  author    = {Michael Hanus},
  title     = {Functional Logic Programming: From Theory to Curry},
  booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
  pages     = {123--168},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013ganzinger},
  url       = {http://dx.doi.org/10.1007/978-3-642-37651-1_6},
  doi       = {10.1007/978-3-642-37651-1_6},
  timestamp = {Tue, 25 Jun 2013 21:37:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Hanus13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book{typing-systems,
  author    = {Benjamin C. Pierce},
  title     = {Types and programming languages},
  publisher = {{MIT} Press},
  year      = {2002},
  isbn      = {978-0-262-16209-8},
  timestamp = {Thu, 03 Feb 2011 10:51:35 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0005958},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@INPROCEEDINGS{monads,
    author = {Philip Wadler},
    title = {The Essence of Functional Programming},
    booktitle = {},
    year = {1992},
    pages = {1--14},
    publisher = {Prentice Hall}
}

@inproceedings{monad-transformers,
 author = {Liang, Sheng and Hudak, Paul and Jones, Mark},
 title = {Monad Transformers and Modular Interpreters},
 booktitle = {Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '95},
 year = {1995},
 isbn = {0-89791-692-1},
 location = {San Francisco, California, USA},
 pages = {333--343},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/199448.199528},
 doi = {10.1145/199448.199528},
 acmid = {199528},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{free-theorems,
  title={Theorems for free!},
  author={Wadler, Philip},
  booktitle={Proceedings of the fourth international conference on Functional programming languages and computer architecture},
  pages={347--359},
  year={1989},
  organization={ACM}
}

@MISC{parser-combinators,
    author = {Graham Hutton and Erik Meijer},
    title = {Monadic Parser Combinators},
    year = {1996}
}

@INPROCEEDINGS{fixpoint,
    author = {Erik Meijer and Maarten Fokkinga and Ross Paterson},
    title = {Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire},
    booktitle = {},
    year = {1991},
    pages = {124--144},
    publisher = {Springer-Verlag}
}

@inproceedings{kics2,
  author    = {Bernd Bra{\ss}el and
               Michael Hanus and
               Bj{\"{o}}rn Peem{\"{o}}ller and
               Fabian Reck},
  title     = {KiCS2: {A} New Compiler from Curry to Haskell},
  booktitle = {Functional and Constraint Logic Programming - 20th International Workshop,
               {WFLP} 2011, Odense, Denmark, July 19th, Proceedings},
  pages     = {1--18},
  year      = {2011},
  crossref  = {DBLP:conf/wflp/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-22531-4_1},
  doi       = {10.1007/978-3-642-22531-4_1},
  timestamp = {Wed, 17 Aug 2011 13:49:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wflp/BrasselHPR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@INPROCEEDINGS{pakcs,
author = "Antoy, S. and Hanus, M.",
title = "Compiling Multi-Paradigm Declarative Programs into Prolog",
year = "2000",
publisher = "Springer LNCS 1794",
pages = "171-185",
booktitle = "Proc.\ of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000)"
}

@unpublished{cuminreport,
  author={Mehner, Stefan},
  title={CuMin Report},
  note={(personal communication)}
}