Travelled to:
1 × Japan
1 × United Kingdom
Collaborated with:
M.Alpuente M.Falaschi G.Vidal
Talks about:
transform (1) function (1) program (1) unfold (1) system (1) narrow (1) condit (1) logic (1) safe (1) lazi (1)
Person: Ginés Moreno
DBLP: Moreno:Gin=eacute=s
Contributed to:
Wrote 2 papers:
- FLOPS-1999-AlpuenteFMV #functional #lazy evaluation #logic programming #source code
- A Transformation System for Lazy Functional Logic Programs (MA, MF, GM, GV), pp. 147–162.
- ALP-1997-AlpuenteFMV
- Safe Folding/Unfolding with Conditional Narrowing (MA, MF, GM, GV), pp. 1–15.