Travelled to:1 × Germany
1 × Spain
1 × The Netherlands
1 × United Kingdom
Collaborated with:J.M.Almendros-Jiménez P.Arenas-Sánchez A.Gavilanes-Franco F.J.López-Fraguas
Talks about:narrow (3) lazi (3) order (2) type (2) sort (2) constraint (1) polymorph (1) parametr (1) function (1) program (1)
Person: Ana Gil-Luezas
DBLP: Gil-Luezas:Ana
Contributed to:
1997199619951994Wrote 4 papers:
- ALP-1997-Almendros-JimenezG #lazy evaluation #order #parametricity
- Lazy Narrowing with Parametric Order Sorted Types (JMAJ, AGL), pp. 159–173.
- ALP-1996-Almendros-JimenezGG #algebra #functional #logic programming #order #polymorphism #semantics
- Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types (JMAJ, AGF, AGL), pp. 299–313.
- PLILP-1995-Arenas-SanchezG #debugging #lazy evaluation
- A Debugging Model for Lazy Narrowing (PAS, AGL), pp. 453–454.
- PLILP-1994-Arenas-SanchezGL #constraints #lazy evaluation
- Combining Lazy Narrowing with Disequality Constraints (PAS, AGL, FJLF), pp. 385–399.