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