Automatic Visualization of Recursion Trees: a Case Study on Generic Programming
A. Cunha
Refined Definitional Trees and Prolog Implementations of Narrowing
P. Julian
Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks
P. Hofstedt and A. Metzner
Graphical Representations and Infinite Virtual Worlds in a Logic and Functional Programming Course
J.E. Labra Gayo
A Narrowing-based Instantiation Rule for Rewriting-based Fold/Unfold Transformations
G. Moreno
A Demand Narrowing Calculus with Overlapping Definitional Trees
R. del Vado Vírseda
Integrating Finite Domain Constraints and CLP with Sets
A. Dal Palù,
A. Dovier,
E. Pontelli,
and G. Rossi
Functional Logic Programming with Failure and Built-in Equality
F.J. López-Fraguas and J. Sánchez-Hernández
Towards Translating Embedded Curry to C
M. Hanus, K. Höppner and F. Huch
A Monadic Semantics for Core Curry
A. Tolmach and S. Antoy
A Safe Relational Calculus for Functional Logic Deductive Databases
J.M. Almendros-Jiménez and A. Becerra-Terán
Narrowing-based Simulation of Term Rewriting Systems with Extra Variables and its Termination Proof
N. Nishida, M. Sakai, and T. Sakabe
Cost-Sensitive Debugging of Declarative Programs
D. Ballis, M. Falaschi, C. Ferri, J. Hernández-Orallo,
and M.J. Ramírez-Quintana
Handling quantifiers in Relational Data Mining
D. Lorenzo
Abstract Correction of Functional Programs
M. Alpuente,
D. Ballis,
S. Escobar,
M. Falaschi,
and S. Lucas
A Memoization Technique for Functional Logic Languages
S. España and V. Estruch
Runtime Verification of Concurrent Haskell
V. Stolz and F. Huch
Improving (Weakly) Outermost-Needed Narrowing: Natural Narrowing
S. Escobar
Model Checking Erlang Programs: LTL-Propositions and Abstract Interpretation
F. Huch
Towards a Mobile Haskell
A.R. Du Bois,
P. Trinder, and
H.W. Loidl
An Open System to Support Web-based Learning
M. Hanus and F. Huch
Constructive Intensional Negation: A Practical Implementation
S. Muñoz,
J.J. Moreno-Navarro,
and J. Mariño