Ana Gil-Luezas

Publication Activity (10 Years)

Years Active: 1989-1997
Publications (10 Years): 0

Publications

Jesús Manuel Almendros-Jiménez, Ana Gil-Luezas
Lazy Narrowing with Parametric Order Sorted Types. ALP/HOA (1997)
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)
Puri Arenas-Sánchez, Ana Gil-Luezas
A Debugging Model for Lazy Narrowing PLILP (1995)
Puri Arenas-Sánchez, Ana Gil-Luezas
A Debugging Model for Lazy Functional Logic Languages. GULP-PRODE (2) (1994)
Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas
Combining Lazy Narrowing with Disequality Constraints. PLILP (1994)
Ana Gil-Luezas
A Logic for Nondeterministic Functional Programs (Extended Abstract). FCT (1989)