% BibTeX bibliography file

@InProceedings{AlbertAlpuenteHanusVidal99LPAR,
  author = {Albert, E. and Alpuente, M. and Hanus, M. and Vidal, G.},
  title = {A Partial Evaluation Framework for {C}urry Programs},
  booktitle = {Proc.\ of the 6th International Conference on Logic for
  Programming and Automated Reasoning (LPAR'99)},
  year = {1999},
  pages = {376-395},
  publisher = {Springer LNCS 1705}
}

@InProceedings{AlbertHanusVidal00LPAR,
  author = {Albert, E. and Hanus, M. and Vidal, G.},
  title = {Using an Abstract Representation to Specialize Functional Logic
  Programs},
  booktitle = {Proc.\ of the 7th International Conference on Logic for
  Programming and Automated Reasoning (LPAR 2000)},
  year = {2000},
  pages = {381-398},
  publisher = {Springer LNCS 1955}
}

@InProceedings{AlbertHanusVidal01FLOPS,
  author = {Albert, E. and Hanus, M. and Vidal, G.},
  title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative
  Language},
  booktitle = {Proc.\ of the 5th International Symposium on Functional and
  Logic Programming (FLOPS 2001)},
  year = {2001},
  pages = {326-342},
  publisher = {Springer LNCS 2024}
}

@Article{AlbertHanusVidal02JFLP,
  author = {Albert, E. and Hanus, M. and Vidal, G.},
  title = {A Practical Partial Evaluator for a Multi-Paradigm Declarative
  Language},
  journal = {Journal of Functional and Logic Programming},
  year = {2002},
  volume = {2002},
  number = {1},
  publisher = {EAPLS}
}

@InProceedings{AntoyHanus00FROCOS,
  author = {Antoy, S. and Hanus, M.},
  title = {Compiling Multi-Paradigm Declarative Programs into {P}rolog},
  booktitle = {Proc. International Workshop on Frontiers of Combining Systems
  (FroCoS'2000)},
  year = {2000},
  pages = {171-185},
  publisher = {Springer LNCS 1794}
}

@INPROCEEDINGS{AntoyHanus05LOPSTR,
author       = {Antoy, S. and Hanus, M.},
title        = {Declarative Programming with Function Patterns},
year         = {2005},
booktitle    = {Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)},
pages        = {6-22},
publisher    = {Springer LNCS 3901} }

@INPROCEEDINGS{AntoyHanus09,
author       = {Antoy, S. and Hanus, M.},
title        = {Set Functions for Functional Logic Programming},
year         = {2009},
booktitle    = {Proceedings of the 11th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'09)},
doi          = {http://doi.acm.org/10.1145/1599410.1599420},
pages        = {73-82},
publisher    = {ACM Press} }

@INPROCEEDINGS{AntoyHanus12PADL,
author       = {Antoy, S. and Hanus, M.},
title        = {Contracts and Specifications for Functional Logic Programming},
year         = {2012},
booktitle    = {Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)},
doi          = {http://dx.doi.org/10.1007/978-3-642-27694-1_4},
pages        = {33-47},
publisher    = {Springer LNCS 7149} }

@INPROCEEDINGS{AntoyHanus14,
author       = {Antoy, S. and Hanus, M.},
title        = {Curry without {Success}},
year         = {2014},
booktitle    = {Proc.\ of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014)},
doi          = {http://ceur-ws.org/Vol-1335/wflp2014_paper5.pdf},
pages        = {140-154},
publisher    = {CEUR-WS.org},
series       = {{CEUR} Workshop Proceedings},
volume       = {1335} }

@INPROCEEDINGS{AntoyHanus15LOPSTR,
author       = {Antoy, S. and Hanus, M.},
title        = {From Boolean Equalities to Constraints},
year         = {2015},
booktitle    = {Proceedings of the 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015)},
pages        = {73-88},
publisher    = {Springer LNCS 9527} }

@INPROCEEDINGS{AntoyHanus16PADL,
author       = {Antoy, S. and Hanus, M.},
title        = {Default Rules for {Curry}},
year         = {2016},
booktitle    = {Proc. of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016)},
pages        = {65-82},
publisher    = {Springer LNCS 9585} }

@INPROCEEDINGS{AntoyHanus18FLOPS,
author       = {Antoy, S. and Hanus, M.},
title        = {Equivalence Checking of Non-deterministic Operations},
year         = {2018},
booktitle    = {Proc. of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018)},
doi          = {10.1007/978-3-319-90686-7_10},
pages        = {149-165},
publisher    = {Springer LNCS 10818} }

@INPROCEEDINGS{AntoyHanusLibby16,
author       = {Antoy, S. and Hanus, M. and Libby, S.},
title        = {Proving Non-Deterministic Computations in {Agda}},
year         = {2016},
booktitle    = {Proc. of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016), to appear in EPTCS} }

@INPROCEEDINGS{AntoyHanusLibby17EPTCS,
author       = {Antoy, S. and Hanus, M. and Libby, S.},
title        = {Proving Non-Deterministic Computations in {Agda}},
year         = {2017},
booktitle    = {Proc. of the 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016)},
doi          = {10.4204/EPTCS.234.13},
pages        = {180-195},
publisher    = {Open Publishing Association},
series       = {Electronic Proceedings in Theoretical Computer Science},
volume       = {234} }

@INPROCEEDINGS{BrasselChitilHanusHuch04PADL,
author       = {Bra{\ss}el, B. and Chitil, O. and Hanus, M. and Huch, F.},
title        = {Observing Functional Logic Computations},
year         = {2004},
booktitle    = {Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)},
pages        = {193-208},
publisher    = {Springer LNCS 3057} }

@ARTICLE{BrasselHanusHuch04JFLP,
author       = {Bra{\ss}el, B. and Hanus, M. and Huch, F.},
title        = {Encapsulating Non-Determinism in Functional Logic Computations},
year         = {2004},
journal      = {Journal of Functional and Logic Programming},
number       = {6},
publisher    = {EAPLS},
volume       = {2004} }

@INPROCEEDINGS{BrasselHanusMueller08PADL,
author       = {Bra{\ss}el, B. and Hanus, M. and M{\"u}ller, M.},
title        = {High-Level Database Programming in {Curry}},
year         = {2008},
booktitle    = {Proc. of the Tenth International Symposium on Practical Aspects of Declarative Languages (PADL'08)},
pages        = {316-332},
publisher    = {Springer LNCS 4902} }


@InProceedings{CaballeroLopez99,
  author = {Caballero, R. and L{\'o}pez-Fraguas, F.J.},
  title = {A Functional-Logic Perspective of Parsing},
  booktitle = {Proc. 4th Fuji International Symposium on Functional and Logic
  Programming (FLOPS'99)},
  year = {1999},
  pages = {85-99},
  publisher = {Springer LNCS 1722}
}

@INPROCEEDINGS{ChristiansenFischer08FLOPS,
author       = {Christiansen, J. and Fischer, S.},
title        = {{EasyCheck} - Test Data for Free},
year         = {2008},
booktitle    = {Proc. of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008)},
pages        = {322-336},
publisher    = {Springer LNCS 4989} }

@INPROCEEDINGS{ClaessenHughes00,
author       = {Claessen, K. and Hughes, J.},
title        = {QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs},
year         = {2000},
booktitle    = {International Conference on Functional Programming (ICFP'00)},
pages        = {268-279},
publisher    = {ACM Press} }

@Misc{Hanus02Curry,
  author = {Hanus (ed.), M.},
  title = {Curry: An Integrated Functional Logic Language (Vers.\ 0.7.2)},
  year = {2002},
  howpublished = {Available at \verb+http://www.informatik.uni-kiel.de/~curry+}
}

@MISC{Hanus03Curry,
author       = "Hanus (ed.), M.",
title        = "Curry: An Integrated Functional Logic Language (Vers.\ 0.8)",
year         = "2003",
howpublished = "Available at \verb+http://www.informatik.uni-kiel.de/~curry+" }

@InProceedings{Hanus00PADL,
  author = {Hanus, M.},
  title = {A Functional Logic Programming Approach to Graphical User
  Interfaces},
  booktitle = {International Workshop on Practical Aspects of Declarative
  Languages (PADL'00)},
  year = {2000},
  pages = {47-62},
  publisher = {Springer LNCS 1753}
}

@InProceedings{Hanus01PADL,
  author = {Hanus, M.},
  title = {High-Level Server Side Web Scripting in {C}urry},
  booktitle = {Proc.\ of the Third International Symposium on Practical Aspects
  of Declarative Languages (PADL'01)},
  year = {2001},
  pages = {76-92},
  publisher = {Springer LNCS 1990}
}

@INPROCEEDINGS{Hanus04WFLP,
author       = {Hanus, M.},
title        = {Dynamic Predicates in Functional Logic Programs},
year         = {2004},
address      = {Aachen (Germany)},
booktitle    = {Proc. 13th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2004)},
pages        = {62-73},
publisher    = {Technical Report AIB-2004-05, RWTH Aachen} }

@INPROCEEDINGS{Hanus05WCFLP,
author       = {Hanus, M.},
title        = {A Generic Analysis Environment for Declarative Programs},
year         = {2005},
signature    = {nocopy},
keywords     = {functional programming, logic programming, program analysis, programming environment},
booktitle    = {Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005)},
pages        = {43-48},
publisher    = {ACM Press} }

@INPROCEEDINGS{Hanus06PPDP,
author       = {Hanus, M.},
title        = {Type-Oriented Construction of Web User Interfaces},
year         = {2006},
booktitle    = {Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'06)},
pages        = {27-38},
publisher    = {ACM Press} }

@INPROCEEDINGS{Hanus06WLPE,
author       = {Hanus, M.},
title        = {{CurryBrowser}: A Generic Analysis Environment for {Curry} Programs},
year         = {2006},
booktitle    = {Proc. of the 16th Workshop on Logic-based Methods in  Programming Environments (WLPE'06)},
pages        = {61-74} }

@MISC{Hanus16Curry,
author       = {Hanus (ed.), M.},
title        = {Curry: An Integrated Functional Logic Language (Vers.\ 0.9.0)},
year         = {2016},
howpublished = {Available at \url{http://www.curry-language.org}} }

@INPROCEEDINGS{Hanus97POPL,
author       = {Hanus, M.},
title        = {A Unified Computation Model for Functional and Logic Programming},
year         = {1997},
signature    = {eqlp, books},
keywords     = {functional programming, logic programming, residuation, narrowing, lazy narrowing},
booktitle    = {Proc.\ of the 24th ACM Symposium on Principles of Programming Languages (Paris)},
pages        = {80-93} }

@InProceedings{Hanus99PPDP,
  author = {Hanus, M.},
  title = {Distributed Programming in a Multi-Paradigm Declarative Language},
  booktitle = {Proc.\ of the International Conference on Principles and
  Practice of Declarative Programming (PPDP'99)},
  year = {1999},
  pages = {376-395},
  publisher = {Springer LNCS 1702}
}

@INPROCEEDINGS{HanusKluss09PADL,
author       = {Hanus, M. and Klu{\ss}, C.},
title        = {Declarative Programming of User Interfaces},
year         = {2009},
booktitle    = {Proc. of the 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09)},
pages        = {16-30},
publisher    = {Springer LNCS 5418} }

@INPROCEEDINGS{HanusKoschnicke10PADL,
author       = {Hanus, M. and Koschnicke, S.},
title        = {An {ER-based} Framework for Declarative Web Programming},
year         = {2010},
booktitle    = {Proc. of the 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010)},
doi          = {http://dx.doi.org/10.1007/978-3-642-11503-5_18},
pages        = {201-216},
publisher    = {Springer LNCS 5937} }

@ARTICLE{HanusKoschnicke14TPLP,
author       = {Hanus, M. and Koschnicke, S.},
title        = {An {ER-based} Framework for Declarative Web Programming},
year         = {2014},
doi          = {http://dx.doi.org/10.1017/S1471068412000385},
journal      = {Theory and Practice of Logic Programming},
number       = {3},
pages        = {269-291},
publisher    = {Cambridge University Press},
volume       = {14} }

@INPROCEEDINGS{HanusKrone17EPTCS,
author    = "Hanus, M. and Krone, J.",
title     = "A Typeful Integration of {SQL} into {Curry}",
year         = {2017},
booktitle    = {Proceedings of the 24th International Workshop on Functional and (Constraint) Logic Programming},
pages        = {104-119},
publisher    = {Open Publishing Association},
series       = {Electronic Proceedings in Theoretical Computer Science},
volume       = {234}
}

@Article{HanusSadre99JFLP,
  author = {Hanus, M. and Sadre, R.},
  title = {An Abstract Machine for {C}urry and its Concurrent Implementation in
  {J}ava},
  journal = {Journal of Functional and Logic Programming},
  year = {1999},
  volume = {1999},
  number = {6},
  publisher = {MIT Press}
}

@INPROCEEDINGS{HanusSkrlac14,
author       = {Hanus, M. and Skrlac, F.},
title        = {A Modular and Generic Analysis Server System for Functional Logic Programs},
year         = {2014},
booktitle    = {Proc. of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14)},
doi          = {http://doi.acm.org/10.1145/2543728.2543744},
pages        = {181-188},
publisher    = {ACM Press} }

@INPROCEEDINGS{HanusSteiner98PLILP,
author       = "Hanus, M. and Steiner, F.",
title        = "Controlling Search in Declarative Programs",
year         = "1998",
pages        = "374-390",
publisher    = "Springer LNCS 1490",
booktitle    = "Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98)" }

@INPROCEEDINGS{Johnsson85,
author       = {Johnsson, T.},
title        = {Lambda Lifting: Transforming Programs to Recursive Functions},
year         = {1985},
signature    = {type-func},
keywords     = {functional programming, implementation},
pages        = {190-203},
publisher    = {Springer LNCS 201},
booktitle    = {Functional Programming Languages and Computer Architecture} }

@MASTERSTHESIS{Krone15,
author       = {Krone, J.},
title        = {Integration of {SQL} into {Curry}},
year         = {2015},
school       = {University of Kiel} }

@INPROCEEDINGS{Leijen05,
author       = {Leijen, D.},
title        = {Extensible records with scoped labels},
year         = {2005},
booktitle    = {Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05)} }

@inproceedings{Lopez-Fraguas07,
 author = {L\'{o}pez-Fraguas, Francisco Javier and Rodr\'{\i}guez-Hortal\'{a}, Juan and S\'{a}nchez-Hern\'{a}ndez, Jaime},
 title = {A Simple Rewrite Notion for Call-time Choice Semantics},
 booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming},
 series = {PPDP '07},
 year = {2007},
 isbn = {978-1-59593-769-8},
 location = {Wroclaw, Poland},
 pages = {197--208},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1273920.1273947},
 doi = {10.1145/1273920.1273947},
 acmid = {1273947},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {constructor-based rewriting logic, functional-logic programming, local bindings, non-determinism calltime choice semantics, sharing, term rewriting systems},
}

@INPROCEEDINGS{Norell09,
author       = {Norell, U.},
title        = {Dependently Typed Programming in {Agda}},
year         = {2009},
booktitle    = {Proceedings of the 6th International Conference on Advanced Functional Programming (AFP'08)},
doi          = {http://dl.acm.org/citation.cfm?id=1813347.1813352},
pages        = {230-266},
publisher    = {Springer} }

@InProceedings{OderskyWadler97,
  author = {Odersky, M. and Wadler, P.},
  title = {Pizza into {J}ava: Translating Theory into Practice},
  booktitle = {Proc.\ of the 24th ACM Symposium on Principles of Programming
  Languages (Paris)},
  year = {1997},
  pages = {146-159}
}

@book{Peemoeller2016,
  author    = {Bj{\"o}rn Peem{\"o}ller},
  title     = {Normalization and Partial Evaluation of Functional Logic Programs},
  publisher = {Department of Computer Science, Kiel University},
  year      = {2016},
  note      = {Dissertation, Faculty of Engineering, Kiel University}
}

@BOOK{PeytonJones03Haskell,
title        = {Haskell 98 Language and Libraries---The Revised Report},
year         = {2003},
editor       = {Peyton Jones, S.},
publisher    = {Cambridge University Press} }

@INCOLLECTION{Wadler87,
author       = {Wadler, P.},
title        = {Efficient Compilation of Pattern-Matching},
year         = {1987},
signature    = {books},
keywords     = {functional programming, implementation},
editor       = {Peyton Jones, S.L.},
pages        = {78-103},
publisher    = {Prentice Hall},
booktitle    = {The Implementation of Functional Programming Languages} }

