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