| 2008 |
|---|
| 6 | EE | Gustavo Arroyo,
J. Guadalupe Ramos,
Salvador Tamarit,
Germán Vidal:
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs.
LOPSTR 2008: 40-54 |
| 2007 |
|---|
| 5 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Ensuring the quasi-termination of needed narrowing computations.
Inf. Process. Lett. 101(5): 220-226 (2007) |
| 2006 |
|---|
| 4 | EE | Gustavo Arroyo,
J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.
LOPSTR 2006: 60-76 |
| 2005 |
|---|
| 3 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
Fast narrowing-driven partial evaluation for inductively sequential programs.
ICFP 2005: 228-239 |
| 2 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
An offline partial evaluator for curry programs.
WCFLP 2005: 49-53 |
| 2004 |
|---|
| 1 | EE | J. Guadalupe Ramos,
Josep Silva,
Germán Vidal:
An Embedded Language Approach to Router Specification in Curry.
SOFSEM 2004: 277-288 |
