Akihiko Takano Generalized Partial Computation for a Lazy Functional Language. 1-11 1991 PEPM db/conf/pepm/pepm91.html#Takano91 http://doi.acm.org/10.1145/115865.115867