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. 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. 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 -
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. 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