Biernacki, Dariusz
-
BRICS Report Series Nr. 16 (2005): RS-16 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Artikler
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Resumé PDF (English) -
BRICS Report Series Nr. 2 (2005): RS-2 On the Dynamic Extent of Delimited Continuations - Artikler
On the Dynamic Extent of Delimited Continuations
Resumé PDF (English) -
BRICS Report Series Nr. 25 (2005): RS-25 A Simple Proof of a Folklore Theorem about Delimited Control - Artikler
A Simple Proof of a Folklore Theorem about Delimited Control
Resumé PDF (English) -
BRICS Report Series Nr. 36 (2005): RS-36 On the Static and Dynamic Extents of Delimited Continuations - Artikler
On the Static and Dynamic Extents of Delimited Continuations
Resumé PDF (English) -
BRICS Report Series Nr. 15 (2006): RS-15 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations - Artikler
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
Resumé PDF (English) -
BRICS Report Series Nr. 25 (2003): RS-25 From Interpreter to Logic Engine by Defunctionalization - Artikler
From Interpreter to Logic Engine by Defunctionalization
Resumé PDF (English) -
BRICS Report Series Nr. 5 (2005): RS-5 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version) - Artikler
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations (Preliminary Version)
Resumé PDF (English) -
BRICS Report Series Nr. 10 (2005): RS-10 A Simple Proof of a Folklore Theorem about Delimited Control - Artikler
A Simple Proof of a Folklore Theorem about Delimited Control
Resumé PDF (English) -
BRICS Report Series Nr. 5 (2004): RS-5 From Interpreter to Logic Engine by Defunctionalization - Artikler
From Interpreter to Logic Engine by Defunctionalization
Resumé PDF (English) -
BRICS Report Series Nr. 13 (2005): RS-13 On the Dynamic Extent of Delimited Continuations - Artikler
On the Dynamic Extent of Delimited Continuations
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. 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation - Artikler
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
Resumé PDF (English) -
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. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Artikler
A Functional Correspondence between Evaluators 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)