Biernacka, Malgorzata

• BRICS Report Series No. 41 (2003): RS-41 An Operational Foundation for Delimited Continuations - Articles
  An Operational Foundation for Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 38 (2005): RS-38 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 29 (2004): RS-29 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF
• BRICS Report Series No. 3 (2006): RS-3 A Concrete Framework for Environment Machines - Articles
  A Concrete Framework for Environment Machines
  Abstract  PDF
• BRICS Report Series No. 18 (2006): RS-18 Not published - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract
• BRICS Report Series No. 11 (2005): RS-11 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF
• BRICS Report Series No. 12 (2005): RS-12 Program Extraction from Proofs of Weak Head Normalization - Articles
  Program Extraction from Proofs of Weak Head Normalization
  Abstract  PDF
• BRICS Report Series No. 15 (2005): RS-15 A Concrete Framework for Environment Machines - Articles
  A Concrete Framework for Environment Machines
  Abstract  PDF
• BRICS Report Series No. 22 (2005): RS-22 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines - Articles
  A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines
  Abstract  PDF
• BRICS Report Series No. 24 (2005): RS-24 An Operational Foundation for Delimited Continuations in the CPS Hierarchy - Articles
  An Operational Foundation for Delimited Continuations in the CPS Hierarchy
  Abstract  PDF