Biernacki, Dariusz
-
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
A Functional Correspondence between Evaluators and 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. 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. 41 (2003): RS-41 An Operational Foundation for Delimited Continuations - Articles
An Operational Foundation for Delimited Continuations
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. 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