Travelled to:
1 × Japan
Collaborated with:
M.T.Hortalá-González
Talks about:
calculus (1) abstract (1) system (1) narrow (1) machin (1) lazi (1) base (1)
Person: Eva Ullán
DBLP: Ull=aacute=n:Eva
Contributed to:
Wrote 1 papers:
- FLOPS-2001-Hortala-GonzalezU #automaton #calculus #lazy evaluation
- An Abstract Machine Based System for a Lazy Narrowing Calculus (MTHG, EU), pp. 216–232.