publications:
- 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: "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: "Using Term Rewriting to Verify Software"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "John D. Gannon"
    link: "https://researchr.org/alias/john-d.-gannon"
  year: "1994"
  doi: "http://www.computer.org/tse/ts1994/e0259abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1994/e0259abs.htm"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyG94"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "20"
  number: "4"
  pages: "259-274"
  kind: "article"
  key: "AntoyG94"
- title: "Design Strategies for Rewrite Rules"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1990"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  - "design"
  - "rewriting strategies"
  researchr: "https://researchr.org/publication/Antoy90"
  cites: 0
  citedby: 0
  pages: "333-341"
  booktitle: "ctrs"
  kind: "inproceedings"
  key: "Antoy90"
- 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: "Automatically Checking an Implementation against Its Formal Specification"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Richard G. Hamlet"
    link: "https://researchr.org/alias/richard-g.-hamlet"
  year: "2000"
  doi: "http://www.computer.org:80/tse/ts2000/e0055abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2000/e0055abs.htm"
  researchr: "https://researchr.org/publication/AntoyH00%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "26"
  number: "1"
  pages: "55-69"
  kind: "article"
  key: "AntoyH00:0"
- 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: "Address location on envelopes"
  author:
  - name: "Pen-Shu Yeh"
    link: "https://researchr.org/alias/pen-shu-yeh"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Anne Litcher"
    link: "https://researchr.org/alias/anne-litcher"
  - name: "Azriel Rosenfeld"
    link: "https://researchr.org/alias/azriel-rosenfeld"
  year: "1987"
  doi: "http://dx.doi.org/10.1016/0031-3203(87)90055-0"
  links:
    doi: "http://dx.doi.org/10.1016/0031-3203(87)90055-0"
  researchr: "https://researchr.org/publication/YehALR87"
  cites: 0
  citedby: 0
  journal: "PR"
  volume: "20"
  number: "2"
  pages: "213-227"
  kind: "article"
  key: "YehALR87"
- title: "A Uniform Approach to Deduction and Automatic Implementation"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Paola Forcheri"
    link: "https://researchr.org/alias/paola-forcheri"
  - name: "Maria Teresa Molfino"
    link: "https://researchr.org/alias/maria-teresa-molfino"
  - name: "Carlo Schenone"
    link: "https://researchr.org/alias/carlo-schenone"
  year: "1992"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AntoyFMS92"
  cites: 0
  citedby: 0
  pages: "132-144"
  booktitle: "disco"
  kind: "inproceedings"
  key: "AntoyFMS92"
- title: "Optimal Non-deterministic Functional Logic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Antoy97"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Antoy97"
- 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: "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: "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: "Typed Higher-Order Narrowing without Higher-Order Strategies"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  year: "1999"
  researchr: "https://researchr.org/publication/AntoyT99"
  cites: 0
  citedby: 0
  pages: "335-353"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "AntoyT99"
- title: "Implementing functional logic languages using multiple threads and stores"
  author:
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Marius Nita"
    link: "https://researchr.org/alias/marius-nita"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1016850.1016865"
  links:
    doi: "http://doi.acm.org/10.1145/1016850.1016865"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/TolmachAN04"
  cites: 0
  citedby: 0
  pages: "90-102"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "TolmachAN04"
- title: "Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2042/20420103.htm"
  tags:
  - "partial evaluation"
  - "logic"
  researchr: "https://researchr.org/publication/AlbertAV00a"
  cites: 0
  citedby: 0
  pages: "103-124"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "AlbertAV00a"
- title: "Self-Checking against Formal Specifications"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Richard G. Hamlet"
    link: "https://researchr.org/alias/richard-g.-hamlet"
  year: "1992"
  researchr: "https://researchr.org/publication/AntoyH92"
  cites: 0
  citedby: 0
  pages: "355-360"
  booktitle: "icci"
  kind: "inproceedings"
  key: "AntoyH92"
- title: "Rapid Protoryping of System Enhancements"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Virginia Tech"
    link: "https://researchr.org/alias/virginia-tech"
  - name: "Paola Forcheri"
    link: "https://researchr.org/alias/paola-forcheri"
  - name: "Maria Teresa Molfino"
    link: "https://researchr.org/alias/maria-teresa-molfino"
  - name: "Marvin V. Zelkowitz"
    link: "https://researchr.org/alias/marvin-v.-zelkowitz"
  year: "1990"
  researchr: "https://researchr.org/publication/AntoyTFMZ90"
  cites: 0
  citedby: 0
  pages: "330-336"
  booktitle: "saicsit"
  kind: "inproceedings"
  key: "AntoyTFMZ90"
- title: "A monadic semantics for core Curry"
  author:
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2003"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/135/48/show/Products/notes/index.htt#004"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/TolmachA03"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "86"
  number: "3"
  pages: "16-34"
  kind: "article"
  key: "TolmachA03"
- title: "Formalization and abstract implementation of rewriting with nested rules"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Stephen Johnson"
    link: "https://researchr.org/alias/stephen-johnson"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1013963.1013981"
  links:
    doi: "http://doi.acm.org/10.1145/1013963.1013981"
  tags:
  - "rule-based"
  - "graph-rewriting"
  - "rules"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyJ04"
  cites: 0
  citedby: 0
  pages: "144-154"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "AntoyJ04"
- title: "Evaluation Strategies for Functional Logic Programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2001"
  doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  links:
    doi: "http://www.elsevier.nl/locate/entcs/volume57.html"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy01%3A0"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "57"
  pages: "1-16"
  kind: "article"
  key: "Antoy01:0"
- title: "Demandness in Rewriting and Narrowing"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Salvador Lucas"
    link: "http://users.dsic.upv.es/~slucas/"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/126/23/show/Products/notes/index.htt#004"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyL02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "76"
  pages: "42-51"
  kind: "article"
  key: "AntoyL02"
- title: "Measuring the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  doi: "ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-albert.ps.Z"
  tags:
  - "partial evaluation"
  researchr: "https://researchr.org/publication/AlbertAV00"
  cites: 0
  citedby: 0
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "AlbertAV00"
- title: "Evaluation strategies for functional logic programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jsc.2004.12.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jsc.2004.12.007"
  tags:
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy05"
  cites: 0
  citedby: 0
  journal: "JSC"
  volume: "40"
  number: "1"
  pages: "875-903"
  kind: "article"
  key: "Antoy05"
- title: "A Sequential Reduction Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Aart Middeldorp"
    link: "http://cl-informatik.uibk.ac.at/~ami/"
  year: "1994"
  researchr: "https://researchr.org/publication/AntoyM94"
  cites: 0
  citedby: 0
  pages: "168-185"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "AntoyM94"
- title: "Constructor-Based Conditional Narrowing"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2001"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Antoy01"
  cites: 0
  citedby: 0
  pages: "199-206"
  booktitle: "ppdp"
  kind: "inproceedings"
  key: "Antoy01"
- title: "A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation"
  author:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  year: "2000"
  tags:
  - "partial evaluation"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AlbertAV00%3A0"
  cites: 0
  citedby: 0
  pages: "120-127"
  booktitle: "wflp"
  kind: "inproceedings"
  key: "AlbertAV00:0"
- title: "Definitional Trees"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1992"
  researchr: "https://researchr.org/publication/Antoy92"
  cites: 0
  citedby: 0
  pages: "143-157"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Antoy92"
- 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: "A Sequential Reduction Strategy"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Aart Middeldorp"
    link: "https://researchr.org/alias/aart-middeldorp"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0304-3975(96)00041-2"
  links:
    doi: "http://dx.doi.org/10.1016/0304-3975(96)00041-2"
  researchr: "https://researchr.org/publication/AntoyM96"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "165"
  number: "1"
  pages: "75-95"
  kind: "article"
  key: "AntoyM96"
- title: "Non-Determinism and Lazy Evaluation in Logic Programming"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "1991"
  tags:
  - "laziness"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Antoy91%3A0"
  cites: 0
  citedby: 0
  pages: "318-331"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "Antoy91:0"
- title: "Improving the Efficiency of Non-Deterministic Computations"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Pascual Julián Iranzo"
    link: "https://researchr.org/alias/pascual-juli%C3%A1n-iranzo"
  - name: "Bart Massey"
    link: "https://researchr.org/alias/bart-massey"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#005"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/123/25/show/Products/notes/index.htt#005"
  researchr: "https://researchr.org/publication/AntoyIM02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "64"
  pages: "73-94"
  kind: "article"
  key: "AntoyIM02"
- title: "On the Correctness of Bubbling"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Daniel W. Brown"
    link: "https://researchr.org/alias/daniel-w.-brown"
  - name: "Su-Hui Chiang"
    link: "https://researchr.org/alias/su-hui-chiang"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11805618_4"
  links:
    doi: "http://dx.doi.org/10.1007/11805618_4"
  researchr: "https://researchr.org/publication/AntoyBC06"
  cites: 0
  citedby: 0
  pages: "35-49"
  booktitle: "RTA"
  kind: "inproceedings"
  key: "AntoyBC06"
- title: "Lazy Context Cloning for Non-Deterministic Graph Rewriting"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Daniel W. Brown"
    link: "https://researchr.org/alias/daniel-w.-brown"
  - name: "Su-Hui Chiang"
    link: "https://researchr.org/alias/su-hui-chiang"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.026"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.026"
  tags:
  - "laziness"
  - "graph-rewriting"
  - "context-aware"
  - "rewriting"
  researchr: "https://researchr.org/publication/AntoyBC07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "176"
  number: "1"
  pages: "3-23"
  kind: "article"
  key: "AntoyBC07"
- title: "Preface"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Yoshihito Toyama"
    link: "https://researchr.org/alias/yoshihito-toyama"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.016"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2004.11.016"
  researchr: "https://researchr.org/publication/AntoyT05"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "124"
  number: "2"
  pages: "1-2"
  kind: "article"
  key: "AntoyT05"
- title: "Preface"
  author:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.044"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.02.044"
  researchr: "https://researchr.org/publication/Antoy07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "174"
  number: "10"
  pages: "1-2"
  kind: "article"
  key: "Antoy07"
- 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: "Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain"
  year: "2008"
  tags:
  - "principles"
  - "programming"
  researchr: "https://researchr.org/publication/ppdp%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain"
  conference: "ppdp"
  editor:
  - name: "Sergio Antoy"
    link: "http://web.cecs.pdx.edu/~antoy/"
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  publisher: "ACM"
  isbn: "978-1-60558-117-0"
  kind: "proceedings"
  key: "ppdp:2008"