Midtgaard, Jan

• BRICS Report Series No. 18 (2007): RS-18 Control-Flow Analysis of Functional Programs - Articles
  Control-Flow Analysis of Functional Programs
  Abstract  PDF
• BRICS Report Series No. 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
  A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
  Abstract  PDF
• BRICS Report Series No. 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
  A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
  Abstract  PDF
• BRICS Report Series No. 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
  A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
  Abstract
• BRICS Report Series No. 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
  A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation - Articles
  From Interpreter to Compiler and Virtual Machine: A Functional Derivation
  Abstract  PDF
• BRICS Report Series No. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
  A Functional Correspondence between Evaluators and Abstract Machines
  Abstract  PDF