Millikin, Kevin

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