BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gil-Luezas:Ana

Contributed to:

ALP/HOA 19971997
ALP 19961996
PPDP 19951995
PLILP 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.