Danvy O, Millikin K. On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion. BRICS [Internet]. 12. november 2007 [henvist 5. december 2025];14(16). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21935