Practical higher-order pattern unification with on-the-fly raising (2005)

Cached

Download Links

by Gopalan Nadathur , Natalie Linnell
Venue:In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS
Citations:8 - 4 self

Document Versions

Practical higher-order pattern unification with on-the-fly raising –Gopalan Nadathur, Natalie Linnell — 2005 — In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS
Practical higher-order pattern unification with on-the-fly raising –Gopalan Nadathur, Natalie Linnell — 2005 — In ICLP 2005: 21st International Logic Programming Conference, volume 3668 of LNCS