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:42 - 25 self