| Publication | Date of Publication | Type |
|---|
Polymorphic success types for Erlang
EPiC Series in Computing | 2019-07-04 | Paper |
A liberal type system for functional logic programs
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Polymorphic types in Erlang function specifications
Functional and Logic Programming | 2016-04-04 | Paper |
Rewriting and narrowing for constructor systems with call-time choice semantics
Theory and Practice of Logic Programming | 2014-04-17 | Paper |
Safe typing of functional logic programs with opaque patterns and local bindings
Information and Computation | 2014-03-13 | Paper |
Equivalence of two formal semantics for functional logic programs
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Extra variables can be eliminated from functional logic programs
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Semantic determinism and functional logic program properties
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| Constraint functional logic programming revisited | 2013-09-20 | Paper |
| Failure and equality in functional logic programming | 2013-08-27 | Paper |
Functional logic programming with failure: a set-oriented view
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A complete axiomatization of strict equality
Functional and Logic Programming | 2010-05-04 | Paper |
New results on type systems for functional logic programming
Functional and Constraint Logic Programming | 2010-04-27 | Paper |
A Fully Abstract Semantics for Constructor Systems
Rewriting Techniques and Applications | 2009-06-30 | Paper |
Rewriting and Call-Time Choice: The HO Case
Functional and Logic Programming | 2008-04-11 | Paper |
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation | 2007-05-21 | Paper |
A proof theoretic approach to failure in functional logic programming
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2040977 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1942461 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1942463 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1696588 (Why is no real title available?) | 2002-07-22 | Paper |
scientific article; zbMATH DE number 1696795 (Why is no real title available?)
(available as arXiv preprint) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1692897 (Why is no real title available?) | 2002-01-21 | Paper |
| scientific article; zbMATH DE number 1630114 (Why is no real title available?) | 2001-10-23 | Paper |
| scientific article; zbMATH DE number 1487843 (Why is no real title available?) | 2000-08-10 | Paper |
An approach to declarative programming based on a rewriting logic
The Journal of Logic Programming | 1999-11-01 | Paper |
| scientific article; zbMATH DE number 512892 (Why is no real title available?) | 1994-03-10 | Paper |
