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 × France
1 × Italy
1 × Spain
1 × The Netherlands
1 × USA
Collaborated with:
F.J.López-Fraguas M.Rodríguez-Artalejo A.Gil-Luezas M.Rodrúguez-Arteljo A.Dovier E.Albert G.Puebla M.V.Hermenegildo
Talks about:
function (4) logic (4) lazi (4) constraint (3) program (3) narrow (3) polymorph (2) algebra (2) type (2) framework (1)

Person: Puri Arenas-Sánchez

DBLP DBLP: Arenas-S=aacute=nchez:Puri

Contributed to:

ICLP 20062006
PPDP 19991999
ALP/PLILP 19981998
ILPS 19971997
PPDP 19951995
PLILP 19941994

Wrote 8 papers:

Reduced Certificates for Abstraction-Carrying Code (EA, PAS, GP, MVH), pp. 163–178.
PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming
Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi
Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.
ILPS-1997-Arenas-SanchezR #algebra #calculus #functional #lazy evaluation #logic programming #polymorphism
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 53–67.
PLILP-1995-Arenas-SanchezD #set #unification
Minimal Set Unification (PAS, AD), pp. 397–414.
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.
TAPSOFT-1997-Arenas-SanchezR #algebra #framework #functional #logic programming #polymorphism #semantics
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types (PAS, MRA), pp. 453–464.

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.