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: Arenas-S=aacute=nchez:Puri
Contributed to:
2006
19991998199719951994
1997Wrote 8 papers:
- ICLP-2006-AlbertAPH
- 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.