Nr. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines

Artikler

• A Functional Correspondence between Evaluators and Abstract Machines

  Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard

  • PDF (English)