Simple translation of goal-directed evaluation (1997)

by Todd A Proebsting
Venue:Proceedings of the ACM SIGPLAN’97 Conference on Programming Languages Design and Implementation, SIGPLAN Notices