Higher-Order Logic Programming.

Dale Miller, Gopalan Nadathur

Browse the full ICLP paper archive.