Biernacki, Dariusz

• BRICS Report Series No. 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version)
  Abstract  PDF
• BRICS Report Series No. 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
  A Simple Proof of a Folklore Theorem about Delimited Control
  Abstract  PDF
• BRICS Report Series No. 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations - Articles
  On the Static and Dynamic Extents of Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations - Articles
  On the Dynamic Extent of Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 5 (2004): RS-5 From Interpreter to Logic Engine by Defunctionalization - Articles
  From Interpreter to Logic Engine by Defunctionalization
  Abstract  PDF
• BRICS Report Series No. 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Articles
  A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
  Abstract  PDF
• BRICS Report Series No. 25 (2003): RS-25 From Interpreter to Logic Engine by Defunctionalization - Articles
  From Interpreter to Logic Engine by Defunctionalization
  Abstract  PDF
• BRICS Report Series No. 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control - Articles
  A Simple Proof of a Folklore Theorem about Delimited Control
  Abstract  PDF
• BRICS Report Series No. 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations - Articles
  On the Dynamic Extent of Delimited Continuations
  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
• 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. 41 (2003): RS-41 An Operational Foundation for Delimited Continuations - Articles
  An Operational Foundation for Delimited Continuations
  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. 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. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
  A Functional Correspondence between Evaluators and Abstract Machines
  Abstract  PDF