"Generalized Partial Computation for a Lazy Functional Language."

Akihiko Takano (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics