A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.

Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo

Browse the full FLOPS paper archive.