"A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, ..."

Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics