Travelled to:
1 × Spain
Collaborated with:
G.Nadathur
Talks about:
practic (1) pattern (1) higher (1) order (1) unif (1) rais (1) fli (1)
Person: Natalie Linnell
DBLP: Linnell:Natalie
Contributed to:
Wrote 1 papers:
- ICLP-2005-NadathurL #higher-order #on the fly #unification
- Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.