Nr. 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Artikler

• A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

  Mads Sig Ager, Olivier Danvy, Jan Midtgaard

  • PDF (English)