publications:
- title: "Server Side Web Scripting in Curry"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  researchr: "https://researchr.org/publication/Hanus00b"
  cites: 0
  citedby: 0
  pages: "71-84"
  booktitle: "wlp"
  kind: "inproceedings"
  key: "Hanus00b"
- title: "Adding Constraint Handling Rules to Curry"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2006"
  doi: "http://www.kr.tuwien.ac.at/wlp06/06-final.ps.gz"
  links:
    doi: "http://www.kr.tuwien.ac.at/wlp06/06-final.ps.gz"
  tags:
  - "rule-based"
  - "constraints"
  - "rules"
  researchr: "https://researchr.org/publication/Hanus06"
  cites: 0
  citedby: 0
  pages: "81-90"
  booktitle: "wlp"
  kind: "inproceedings"
  key: "Hanus06"
- title: "Teaching Functional and Logic Programming with a Single Computational Model"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "functional programming"
  - "logic programming"
  - "teaching"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Hanus97%3A1"
  cites: 0
  citedby: 0
  pages: "335-350"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "Hanus97:1"
- title: "Improving Control of Logic Programs by Using Functional Logic Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1992"
  tags:
  - "programming languages"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/Hanus92%3A2"
  cites: 0
  citedby: 0
  pages: "1-23"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "Hanus92:2"
- title: "Efficient Implementation of Narrowing and Rewriting"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1991"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Hanus91"
  cites: 0
  citedby: 0
  pages: "344-365"
  booktitle: "pdk"
  kind: "inproceedings"
  key: "Hanus91"
- title: "Integration of Declarative Paradigms: Benefits and Challenges"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  researchr: "https://researchr.org/publication/Hanus97%3A0"
  cites: 0
  citedby: 0
  journal: "SIGPLAN"
  volume: "32"
  number: "1"
  pages: "77-79"
  kind: "article"
  key: "Hanus97:0"
- title: "A Denotational Semantics for Needed Narrowing"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1996"
  tags:
  - "semantics"
  - "denotational semantics"
  researchr: "https://researchr.org/publication/HanusL96"
  cites: 0
  citedby: 0
  pages: "259-270"
  booktitle: "agp"
  kind: "inproceedings"
  key: "HanusL96"
- title: "Integration of Functional and Logic Programming"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  year: "1996"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/HanusK96"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "28"
  number: "2"
  pages: "306-308"
  kind: "article"
  key: "HanusK96"
- title: "A semantics for tracing declarative multi-paradigm programs"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1013963.1013984"
  links:
    doi: "http://doi.acm.org/10.1145/1013963.1013984"
  tags:
  - "semantics"
  - "programming paradigms"
  researchr: "https://researchr.org/publication/BrasselHHV04"
  cites: 0
  citedby: 0
  pages: "179-190"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "BrasselHHV04"
- title: "Operational Semantics for Functional Logic Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#002"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#002"
  tags:
  - "semantics"
  - "operational semantics"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHHOV02a"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "76"
  pages: "1-19"
  kind: "article"
  key: "AlbertHHOV02a"
- title: "Functional Logic Design Patterns"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410067.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410067.htm"
  tags:
  - "logic"
  - "design"
  researchr: "https://researchr.org/publication/AntoyH02"
  cites: 0
  citedby: 0
  pages: "67-87"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "AntoyH02"
- title: "Strongly Sequential and Inductively Sequential Term Rewriting Systems"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0020-0190(98)00016-7"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(98)00016-7"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/HanusLM98"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "67"
  number: "1"
  pages: "1-8"
  kind: "article"
  key: "HanusLM98"
- title: "A Functional and Logic Language with Polymorphic Types (Extended Abstract)"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1990"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Hanus90"
  cites: 0
  citedby: 0
  pages: "215-224"
  booktitle: "disco"
  kind: "inproceedings"
  key: "Hanus90"
- title: "On Extra Variables in (Equational) Logic Programming"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1995"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Hanus95%3A0"
  cites: 0
  citedby: 0
  pages: "665-679"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "Hanus95:0"
- title: "Multi-Paradigm Declarative Programming (Abstract)"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "programming paradigms"
  - "programming"
  researchr: "https://researchr.org/publication/Hanus97%3A4"
  cites: 0
  citedby: 0
  pages: "43-45"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "Hanus97:4"
- title: "Type-based Nondeterminism Checking in Functional Logic Programs"
  author:
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  tags:
  - "rule-based"
  - "functional programming"
  - "type checking"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/SteinerH00"
  cites: 0
  citedby: 0
  pages: "135-148"
  booktitle: "wlp"
  kind: "inproceedings"
  key: "SteinerH00"
- title: "Modular Logic Programming of Compilers"
  author:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1985"
  tags:
  - "logic programming"
  - "compiler"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/GanzingerH85"
  cites: 0
  citedby: 0
  pages: "242-253"
  booktitle: "SLP"
  kind: "inproceedings"
  key: "GanzingerH85"
- title: "Combining Lazy Narrowing and Simplification"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1994"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/Hanus94%3A1"
  cites: 0
  citedby: 0
  pages: "370-384"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "Hanus94:1"
- title: "A Unified Computation Model for Declarative Programming"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/Hanus97"
  cites: 0
  citedby: 0
  pages: "9-24"
  booktitle: "agp"
  kind: "inproceedings"
  key: "Hanus97"
- title: "High-Level Database Programming in Curry"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Marion Müller"
    link: "https://researchr.org/alias/marion-m%C3%BCller"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-77442-6_21"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-77442-6_21"
  tags:
  - "programming"
  - "database"
  researchr: "https://researchr.org/publication/BrasselHM08"
  cites: 0
  citedby: 0
  pages: "316-332"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "BrasselHM08"
- title: "Lazy Narrowing with Simplification"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/Hanus97%3A2"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "23"
  number: "2-4"
  pages: "61-85"
  kind: "article"
  key: "Hanus97:2"
- title: "PACS: The Portland Aachen Curry System"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  researchr: "https://researchr.org/publication/Hanus00a"
  cites: 0
  citedby: 0
  pages: "219-221"
  booktitle: "wlp"
  kind: "inproceedings"
  key: "Hanus00a"
- title: "Operational semantics for declarative multi-paradigm languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jsc.2004.01.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2004.01.001"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/AlbertHHOV05"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "40"
  number: "1"
  pages: "795-829"
  kind: "article"
  key: "AlbertHHOV05"
- title: "Lazy Unification with Inductive Simplification"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1993"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/Hanus93%3A0"
  cites: 0
  citedby: 0
  pages: "42-46"
  booktitle: "wlp"
  kind: "inproceedings"
  key: "Hanus93:0"
- title: "Declarative Programming with Function Patterns"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11680093_2"
  links:
    doi: "http://dx.doi.org/10.1007/11680093_2"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/AntoyH05"
  cites: 0
  citedby: 0
  pages: "6-22"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "AntoyH05"
- title: "Using an Abstract Representation to Specialize Functional Logic Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550381.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550381.htm"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHV00"
  cites: 0
  citedby: 0
  pages: "381-398"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "AlbertHV00"
- title: "Towards translating embedded Curry to C"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Klaus Höppner"
    link: "https://researchr.org/alias/klaus-h%C3%B6ppner"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#005"
  tags:
  - "translation"
  - "C++"
  researchr: "https://researchr.org/publication/HanusHH03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "3"
  pages: "35-51"
  kind: "article"
  key: "HanusHH03"
- title: "Controlling Search in Funtional Logic Programs"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  year: "1998"
  tags:
  - "logic programming"
  - "logic"
  - "search"
  researchr: "https://researchr.org/publication/HanusS98"
  cites: 0
  citedby: 0
  pages: "347-348"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "HanusS98"
- title: "The Integration of Functions into Logic Programming: From Theory to Practice"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1994"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Hanus94%3A0"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "19/20"
  pages: "583-628"
  kind: "article"
  key: "Hanus94:0"
- title: "Concurrent distinct choices"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S095679680400509X"
  links:
    doi: "http://dx.doi.org/10.1017/S095679680400509X"
  researchr: "https://researchr.org/publication/AntoyH04"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "14"
  number: "6"
  pages: "657-668"
  kind: "article"
  key: "AntoyH04"
- title: "A Practical Partial Evaluator for a Multi-Paradigm Declarative Language"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240326.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2024/20240326.htm"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertHV01"
  cites: 0
  citedby: 0
  pages: "326-342"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "AlbertHV01"
- title: "Horn Clause Programs with Polymorphic Types: Semantics and Resolution"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1991"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Hanus91%3A1"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "89"
  number: "1"
  pages: "63-106"
  kind: "article"
  key: "Hanus91:1"
- title: "An Evaluation Semantics for Narrowing-Based Functional Logic Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2001"
  tags:
  - "semantics"
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/HanusL01"
  cites: 0
  citedby: 0
  journal: "jflp"
  volume: "2001"
  number: "2"
  kind: "article"
  key: "HanusL01"
- title: "Towards the Global Optimization of Functional Logic Programs"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1994"
  tags:
  - "optimization"
  - "functional programming"
  - "logic programming"
  - "logic"
  - "program optimization"
  researchr: "https://researchr.org/publication/Hanus94"
  cites: 0
  citedby: 0
  pages: "68-82"
  booktitle: "cc"
  kind: "inproceedings"
  key: "Hanus94"
- title: "Analysis of Nonlinear Constraints in CLP(R)"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1993"
  tags:
  - "analysis"
  - "constraints"
  researchr: "https://researchr.org/publication/Hanus93"
  cites: 0
  citedby: 0
  pages: "83-99"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "Hanus93"
- title: "A needed narrowing strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/347476.347484"
  links:
    doi: "http://doi.acm.org/10.1145/347476.347484"
  researchr: "https://researchr.org/publication/AntoyEH00"
  cites: 0
  citedby: 0
  journal: "JACM"
  volume: "47"
  number: "4"
  pages: "776-822"
  kind: "article"
  key: "AntoyEH00"
- title: "An Implementation of Narrowing Strategies"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Bart Massey"
    link: "https://researchr.org/alias/bart-massey"
  - name: "Frank Steiner"
    link: "https://researchr.org/alias/frank-steiner"
  year: "2001"
  researchr: "https://researchr.org/publication/AntoyHMS01"
  cites: 0
  citedby: 0
  pages: "207-217"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "AntoyHMS01"
- title: "Specialization of Inductively Sequential Functional Logic Programs"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/317636.317910"
  links:
    doi: "http://doi.acm.org/10.1145/317636.317910"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteHLV99"
  cites: 0
  citedby: 0
  pages: "273-283"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "AlpuenteHLV99"
- title: "A Partial Evaluation Framework for Curry Programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "1999"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertAHV99"
  cites: 0
  citedby: 0
  pages: "376-395"
  booktitle: "lpar"
  kind: "inproceedings"
  key: "AlbertAHV99"
- title: "Parallel Evaluation Strategies for Functional Logic Languages"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AntoyEH97"
  cites: 0
  citedby: 0
  pages: "138-152"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "AntoyEH97"
- title: "Run-Time Profiling of Functional Logic Programs"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Josep Silva"
    link: "http://www.dsic.upv.es/~jsilva"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11506676_12"
  links:
    doi: "http://dx.doi.org/10.1007/11506676_12"
  tags:
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/BrasselHHSV04"
  cites: 0
  citedby: 0
  pages: "182-197"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "BrasselHHSV04"
- title: "Realistic Program Specialization in a Multi-Paradigm Language"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "programming languages"
  - "programming paradigms"
  - "programming"
  researchr: "https://researchr.org/publication/AlbertHV00%3A0"
  cites: 0
  citedby: 0
  pages: "104-119"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "AlbertHV00:0"
- title: "A Virtual Machine for Functional Logic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Jimeng Liu"
    link: "https://researchr.org/alias/jimeng-liu"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11431664_7"
  links:
    doi: "http://dx.doi.org/10.1007/11431664_7"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/AntoyHLT04"
  cites: 0
  citedby: 0
  pages: "108-125"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "AntoyHLT04"
- title: "An Abstract Machine for Curry and Its Concurrent Implementation in Java"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Ramin Sadre"
    link: "https://researchr.org/alias/ramin-sadre"
  year: "1999"
  tags:
  - "Java"
  - "abstract machine"
  researchr: "https://researchr.org/publication/HanusS99"
  cites: 0
  citedby: 0
  journal: "jflp"
  volume: "1999"
  number: "Special Issue 1"
  kind: "article"
  key: "HanusS99"
- title: "A Debugging Model for Functional Logic Programs"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Berthold Josephs"
    link: "https://researchr.org/alias/berthold-josephs"
  year: "1993"
  tags:
  - "functional programming"
  - "logic programming"
  - "debugging"
  - "logic"
  researchr: "https://researchr.org/publication/HanusJ93"
  cites: 0
  citedby: 0
  pages: "28-43"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "HanusJ93"
- title: "Lazy call-by-value evaluation"
  author:
  - name: "Bernd Braßel"
    link: "http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291193"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291193"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/BrasselHFHV07"
  cites: 0
  citedby: 0
  pages: "265-276"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "BrasselHFHV07"
- title: "A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "1999"
  tags:
  - "programming languages"
  - "semantics"
  - "rule-based"
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/HanusL99"
  cites: 0
  citedby: 0
  pages: "353-368"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "HanusL99"
- title: "A generic analysis environment for declarative programs"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1085099.1085108"
  links:
    doi: "http://doi.acm.org/10.1145/1085099.1085108"
  tags:
  - "program analysis"
  - "meta programming"
  - "generic programming"
  - "meta-model"
  - "analysis"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Hanus05"
  cites: 0
  citedby: 0
  pages: "43-48"
  booktitle: "wcflp"
  kind: "inproceedings"
  key: "Hanus05"
- title: "ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Philipp Niederau"
    link: "https://researchr.org/alias/philipp-niederau"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2011/20110089.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2011/20110089.htm"
  researchr: "https://researchr.org/publication/HanusHN00"
  cites: 0
  citedby: 0
  pages: "89-106"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "HanusHN00"
- title: "Logic Programming with Type Specifications"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1992"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Hanus92%3A1"
  cites: 0
  citedby: 0
  pages: "91-140"
  booktitle: "Types in Logic Programming"
  kind: "incollection"
  key: "Hanus92:1"
- title: "An Operational Semantics for Declarative Multi-Paradigm Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  - name: "Javier Oliver"
    link: "https://researchr.org/alias/javier-oliver"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/125/47/show/Products/notes/index.htt#004"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/AlbertHHOV02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "70"
  number: "6"
  pages: "62-83"
  kind: "article"
  key: "AlbertHHOV02"
- title: "Curry: A Multi-Paradigm Declarative Language (system description)"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1997"
  researchr: "https://researchr.org/publication/Hanus97%3A3"
  cites: 0
  citedby: 0
  booktitle: "wlp"
  kind: "inproceedings"
  key: "Hanus97:3"
- title: "Integration of Declarative Paradigms: Benefits and Challenges"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1996"
  researchr: "https://researchr.org/publication/Hanus96"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "28"
  number: "4es"
  pages: "166"
  kind: "article"
  key: "Hanus96"
- title: "Multi-paradigm Declarative Languages"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74610-2_5"
  researchr: "https://researchr.org/publication/Hanus07%3A0"
  cites: 0
  citedby: 0
  pages: "45-75"
  booktitle: "ICLP"
  kind: "inproceedings"
  key: "Hanus07:0"
- title: "A Practical Partial Evaluation Scheme for Multi-Paradigm Declarative Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2002"
  doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf"
  links:
    doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-01.pdf"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertHV02"
  cites: 0
  citedby: 0
  journal: "jflp"
  volume: "2002"
  kind: "article"
  key: "AlbertHV02"
- title: "A Needed Narrowing Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1994"
  researchr: "https://researchr.org/publication/AntoyEH94"
  cites: 0
  citedby: 0
  pages: "268-279"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "AntoyEH94"
- title: "Horn Clause Programs with Polymorphic Types: Semantics and Resolution"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1989"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/Hanus89"
  cites: 0
  citedby: 0
  pages: "225-240"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "Hanus89"
- title: "A residualizing semantics for the partial evaluation of functional logic programs"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(02)00336-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(02)00336-8"
  tags:
  - "semantics"
  - "functional programming"
  - "logic programming"
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertHV03"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "85"
  number: "1"
  pages: "19-25"
  kind: "article"
  key: "AlbertHV03"
- title: "Specialization of functional logic programs based on needed narrowing"
  author:
  - name: "María Alpuente"
    link: "http://www.dsic.upv.es/~alpuente"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2005"
  doi: "http://dx.doi.org/10.1017/S1471068404002303"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068404002303"
  tags:
  - "rule-based"
  - "functional programming"
  - "logic programming"
  - "logic"
  researchr: "https://researchr.org/publication/AlpuenteLHV05"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "5"
  number: "3"
  pages: "273-303"
  kind: "article"
  key: "AlpuenteLHV05"
- title: "Incremental Rewriting in Narrowing Derivations"
  author:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  year: "1992"
  tags:
  - "graph-rewriting"
  - "rewriting"
  - "incremental"
  researchr: "https://researchr.org/publication/Hanus92"
  cites: 0
  citedby: 0
  pages: "228-243"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Hanus92"
- title: "Observing Functional Logic Computations"
  author:
  - name: "Bernd Brassel"
    link: "https://researchr.org/alias/bernd-brassel"
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Frank Huch"
    link: "https://researchr.org/alias/frank-huch"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=193"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=193"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BrasselCHH04"
  cites: 0
  citedby: 0
  pages: "193-208"
  booktitle: "PADL"
  kind: "inproceedings"
  key: "BrasselCHH04"
- title: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  year: "2005"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/wcflp%3A2005"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005"
  conference: "wcflp"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  publisher: "ACM"
  isbn: "1-59593-069-8"
  kind: "proceedings"
  key: "wcflp:2005"
- title: "Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007"
  year: "2007"
  researchr: "https://researchr.org/publication/padl%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007"
  conference: "PADL"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "4354"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69608-7"
  kind: "proceedings"
  key: "padl:2007"
- title: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00515-2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00515-2"
  tags:
  - "logic programming"
  - "logic"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/lopstr%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers"
  conference: "LOPSTR"
  editor:
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  volume: "5438"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00514-5"
  kind: "proceedings"
  key: "lopstr:2008"
- title: "Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-00675-3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-00675-3"
  tags:
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/wlp%3A2007"
  cites: 0
  citedby: 0
  booktitle: "Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers"
  conference: "wlp"
  editor:
  - name: "Dietmar Seipel"
    link: "https://researchr.org/alias/dietmar-seipel"
  - name: "Michael Hanus"
    link: "http://www.informatik.uni-kiel.de/~mh/"
  - name: "Armin Wolf"
    link: "https://researchr.org/alias/armin-wolf"
  volume: "5437"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-00674-6"
  kind: "proceedings"
  key: "wlp:2007"