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:9 - 4 self