| |
| 1997 | ||
|---|---|---|
| 6 | Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas: Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA 1997: 159-173 | |
| 1996 | ||
| 5 | Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. ALP 1996: 299-313 | |
| 1995 | ||
| 4 | Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Narrowing PLILP 1995: 453-454 | |
| 1994 | ||
| 3 | Puri Arenas-Sánchez, Ana Gil-Luezas: A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) 1994: 117-131 | |
| 2 | Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas: Combining Lazy Narrowing with Disequality Constraints. PLILP 1994: 385-399 | |
| 1989 | ||
| 1 | Ana Gil-Luezas: A Logic for Nondeterministic Functional Programs (Extended Abstract). FCT 1989: 197-208 | |
| 1 | Jesús Manuel Almendros-Jiménez | [5] [6] |
| 2 | Puri Arenas (Puri Arenas-Sánchez) | [2] [3] [4] |
| 3 | Antonio Gavilanes-Franco | [5] |
| 4 | Francisco Javier López-Fraguas | [2] |