Active Bibliography

34 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
5 A Parallel Narrowing Strategy – Sergio Antoy, Rachid Echahed, Michael Hanus - 1996
48 Parallel Evaluation Strategies for Functional Logic Languages – Sergio Antoy, Rachid Echahed, Michael Hanus - 1997
12 Conditional Narrowing without Conditions – Bernd Brassel, Michael Hanus - 2003
Programming with Narrowing: a Tutorial – Sergio Antoy
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
15 Specialization of Functional Logic Programs Based on Needed Narrowing – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
34 Overlapping Rules and Logic Variables in Functional Logic Programs – Sergio Antoy, Michael Hanus - 2006
4 Programming with Narrowing ∗ – Sergio Antoy
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
Lazy Type Checking in Functional Logic Programming – Jesús M. Almendros-Jiménez
144 A unified computation model for functional and logic programming – Michael Hanus - 1997
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
A Framework for the Analysis of Syntactic Replacement Restrictions – Salvador Lucas - 1999
69 Context-Sensitive Computations in Functional and Functional Logic Programs – Salvador Lucas - 1998
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
4 Declarative Debugging of Functional Logic Programs – M. Alpuente, F. J. Correa, M. Falaschi - 2001
6 Demand-driven Search in Functional Logic Programs – Michael Hanus, Pierre Réty - 1998