A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines (2004)

Cached

Download Links

by Mads Sig Ager , Olivier Danvy , Jan Midtgaard
Citations:34 - 22 self

Document Versions

A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines –Mads Sig Ager, Olivier Danvy, Jan Midtgaard — 2004