Keshav Pingali Arvind Clarification of ``Feeding Inputs on Demand'' in Efficient Demand-Driven Evaluation - Part 1. 140-141 1986 8 ACM Trans. Program. Lang. Syst. 1 db/journals/toplas/toplas8.html#PingaliA86a