|
32
|
The Narrowing-Driven Approach to Functional Logic Program Specialization
– Elvira Albert, German Vidal
- 2002
|
|
375
|
Deforestation: Transforming programs to eliminate trees
– Philip Wadler
- 1990
|
|
593
|
Partial Evaluation and Automatic Program Generation
– Neil D Jones, Carsten K Gomard, Peter Sestoft
- 1993
|
|
110
|
T OY: A multiparadigm declarative system
– F López-Fraguas, J Sánchez-Hernández
- 1999
|
|
12
|
Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems
– J G Ramos, J Silva, G Vidal
- 2005
|
|
431
|
Rewriting
– Nachum Dershowitz, David A. Plaisted
- 2001
|
|
19
|
An Abstract Machine Based System for a Lazy Narrowing Calculus
– T Hortalá-González, E Ullán
|
|
141
|
A System For Specialising Logic Programs
– J. P. Gallagher
- 1991
|
|
7
|
Measuring the Eectiveness of Partial Evaluation in Functional Logic Languages
– E Albert, S Antoy, G Vidal
|
|
8
|
Formally Based Pro for Higher-Order Functional Languages. ToPLaS
– P M Sansom, S L Peyton-Jones
- 1997
|
|
12
|
Cost-Augmented Narrowing-Driven Specialization
– Germán Vidal
- 2002
|
|
16
|
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language
– Elvira Albert, Michael Hanus, Germán Vidal
- 2001
|
|
20
|
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages
– Elvira Albert, Sergio Antoy, German Vidal
- 2001
|
|
14
|
Using an Abstract Representation to Specialize Functional Logic Programs
– E Albert, M Hanus, G Vidal
- 1955
|
|
134
|
A unified computation model for functional and logic programming
– Michael Hanus
- 1997
|
|
49
|
Compiling Multi-Paradigm Declarative Programs into Prolog
– Sergio Antoy, Michael Hanus
- 2000
|
|
15
|
An Efficient Abstract Machine for Curry
– W Lux, H Kuchen
- 1999
|
|
273
|
An Implementation of Narrowing Strategies
– Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
- 2001
|
|
74
|
Higher-order narrowing with definitional trees
– Michael Hanus, Christian Prehofer
- 1996
|
