Ager MS, Danvy O, Midtgaard J. A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects. BRICS [Internet]. 6. november 2003 [henvist 5. december 2025];10(35). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21803