An Overview of Lambda-PROLOG.

Gopalan Nadathur, Dale Miller

Browse the full ICLP paper archive.