Millikin, Kevin
-
BRICS Report Series Nr. 4 (2008): RS-4 Refunctionalization at Work - Artikler
Refunctionalization at Work
Resumé PDF (English) -
BRICS Report Series Nr. 7 (2007): RS-7 Refunctionalization at Work - Artikler
Refunctionalization at Work
Resumé PDF (English) -
BRICS Report Series Nr. 8 (2007): RS-8 A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines - Artikler
A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines
Resumé PDF (English) -
BRICS Report Series Nr. 16 (2007): RS-16 On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion - Artikler
On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
Resumé PDF (English) -
BRICS Report Series Nr. 4 (2006): RS-4 A Rational Deconstruction of Landin's J Operator - Artikler
A Rational Deconstruction of Landin's J Operator
Resumé PDF (English) -
BRICS Report Series Nr. 17 (2006): RS-17 A Rational Deconstruction of Landin's J Operator - Artikler
A Rational Deconstruction of Landin's J Operator
Resumé PDF (English) -
BRICS Report Series Nr. 6 (2007): RS-6 On One-Pass CPS Transformations - Artikler
On One-Pass CPS Transformations
Resumé PDF (English) -
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. 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. 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)