Jan Midtgaard

A functional correspondence between evaluators and abstract machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · 2003 · 141 citations

Artificial Intelligence, Closure Conversion, Engineering +17

A Functional Correspondence between Evaluators and Abstract Machines

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · BRICS Report Series · 2003 · 130 citations · Full text

Artificial Intelligence, Abstract Machine, Engineering +14

A functional correspondence between monadic evaluators and abstract machines for languages with computational effects

Mads Sig Ager, Olivier Danvy, Jan Midtgaard · Theoretical Computer Science · 2005 · 87 citations

Abstract Machine, Syntax, Engineering +14

A functional correspondence between call-by-need evaluators and lazy abstract machines

Mads Sig Ager, Olivier Danvy, Jan Midtgaard · Information Processing Letters · 2004 · 80 citations

Artificial Intelligence, Abstract Machine, Engineering +9

From Interpreter to Compiler and Virtual Machine: A Functional Derivation

Mads Sig Ager, Dariusz Biernacki, Olivier Danvy et al. · BRICS Report Series · 2003 · 63 citations · Full text

Engineering, Compiler Technology, Verification +21