Sciweavers

ICLP
2005
Springer

Practical Higher-Order Pattern Unification with On-the-Fly Raising

14 years 5 months ago
Practical Higher-Order Pattern Unification with On-the-Fly Raising
Gopalan Nadathur, Natalie Linnell
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ICLP
Authors Gopalan Nadathur, Natalie Linnell
Comments (0)