| Publication | Date of Publication | Type |
|---|
Equivalence Checking of Non-deterministic Operations
Functional and Logic Programming | 2023-03-30 | Paper |
Higher-order narrowing with definitional trees
Rewriting Techniques and Applications | 2022-12-09 | Paper |
From Logic to Functional Logic Programs
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Logic programs with equational type specifications
Algebraic and Logic Programming | 2022-08-16 | Paper |
Combining static and dynamic contract checking for Curry
Fundamenta Informaticae | 2020-11-16 | Paper |
Combining static and dynamic contract checking for Curry
(available as arXiv preprint) | 2018-09-06 | Paper |
Default rules for Curry
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
CurryCheck: checking properties of Curry programs
(available as arXiv preprint) | 2017-10-13 | Paper |
Transforming Boolean equalities into constraints
Formal Aspects of Computing | 2017-06-01 | Paper |
Specialization of inductively sequential functional logic programs
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
Strongly sequential and inductively sequential term rewriting systems
Information Processing Letters | 2016-06-09 | Paper |
From Boolean equalities to constraints
Logic-Based Program Synthesis and Transformation | 2016-02-05 | Paper |
A needed narrowing strategy
Journal of the ACM | 2015-12-17 | Paper |
Lazy call-by-value evaluation
Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Improving lazy non-deterministic computations by demand analysis | 2014-02-25 | Paper |
Reporting failures in functional logic programs
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
| Towards translating embedded Curry to C | 2013-08-27 | Paper |
| An operational semantics for declarative multi-paradigm languages | 2013-08-23 | Paper |
Reduction strategies for declarative programming
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Functional Logic Programming: From Theory to Curry
Programming Logics | 2013-04-19 | Paper |
| Declarative processing of semistructured web data | 2012-08-29 | Paper |
Transforming functional logic programs into monadic functional programs
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
Multi-paradigm Declarative Languages
Logic Programming | 2009-03-05 | Paper |
Declarative Programming with Function Patterns
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Run-Time Profiling of Functional Logic Programs
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Overlapping Rules and Logic Variables in Functional Logic Programs
Logic Programming | 2008-03-11 | Paper |
A Virtual Machine for Functional Logic Computations
Implementation and Application of Functional Languages | 2007-10-23 | Paper |
Operational semantics for declarative multi-paradigm languages
Journal of Symbolic Computation | 2007-10-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
| Dynamic predicates in functional logic programs | 2006-02-21 | Paper |
| scientific article; zbMATH DE number 5007864 (Why is no real title available?) | 2006-02-21 | Paper |
Specialization of functional logic programs based on needed narrowing
Theory and Practice of Logic Programming | 2006-02-08 | Paper |
FUNCTIONAL PEARL Concurrent distinct choices
Journal of Functional Programming | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 1950450 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1942452 (Why is no real title available?) | 2003-06-30 | Paper |
A residualizing semantics for the partial evaluation of functional logic programs.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1696777 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1696605 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1692905 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1691458 (Why is no real title available?) | 2002-01-15 | Paper |
| scientific article; zbMATH DE number 1630028 (Why is no real title available?) | 2001-09-30 | Paper |
| scientific article; zbMATH DE number 1638666 (Why is no real title available?) | 2001-08-29 | Paper |
An evaluation semantics for narrowing-based functional logic languages
The Journal of Functional and Logic Programming | 2001-07-31 | Paper |
| scientific article; zbMATH DE number 1420822 (Why is no real title available?) | 2000-12-12 | Paper |
The integration of functions into logic programming: From theory to practice
The Journal of Logic Programming | 2000-08-14 | Paper |
Higher-order narrowing with definitional trees
Journal of Functional Programming | 1999-06-28 | Paper |
Lazy narrowing with simplification
Computer Languages | 1998-11-01 | Paper |
Analysis of residuating logic programs
The Journal of Logic Programming | 1997-03-20 | Paper |
| scientific article; zbMATH DE number 512882 (Why is no real title available?) | 1994-03-10 | Paper |
Horn clause programs with polymorphic types: Semantics and resolution
Theoretical Computer Science | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4176425 (Why is no real title available?) | 1989-01-01 | Paper |
