Active Bibliography

32 The Narrowing-Driven Approach to Functional Logic Program Specialization – Elvira Albert, German Vidal - 2002
21 Specialization of Inductively Sequential Functional Logic Programs – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
5 A Parallel Narrowing Strategy – Sergio Antoy, Rachid Echahed, Michael Hanus - 1996
46 Parallel Evaluation Strategies for Functional Logic Languages – Sergio Antoy, Rachid Echahed, Michael Hanus - 1997
12 Conditional Narrowing without Conditions – Bernd Brassel, Michael Hanus - 2003
14 Specialization of Functional Logic Programs Based on Needed Narrowing – María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal - 1999
24 Overlapping Rules and Logic Variables in Functional Logic Programs – Sergio Antoy, Michael Hanus - 2006
41 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
44 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
134 A unified computation model for functional and logic programming – Michael Hanus - 1997
4 Cost-Augmented Partial Evaluation of Functional Logic Programs – German Vidal - 2004
36 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
34 The Integration of Functions into Logic Programming: A Survey – Michael Hanus - 1994
20 Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages – Elvira Albert, Sergio Antoy, German Vidal - 2001
3 Termination of Narrowing in Left-Linear Constructor Systems – Germán Vidal
2 Termination of Narrowing via Termination of Rewriting – Naoki Nishida, Germán Vidal