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

Gopalan Nadathur, Natalie Linnell

Browse the full ICLP paper archive.