Nr. 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion

Artikler

• On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion

  Olivier Danvy, Kevin Millikin

  • PDF (English)