A Rational Deconstruction of Landin's J Operator. - Olivier Danvy; Kevin Millikin (IFL, 2005)

A new approach to one-pass transformations. - Kevin Millikin (Trends in Functional Programming, 2005)

On one-pass CPS transformations. - Olivier Danvy; Kevin Millikin; Lasse R. Nielsen (J. Funct. Program., 2007)

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. - Olivier Danvy; Kevin Millikin (Inf. Process. Lett., 2008)

A Rational Deconstruction of Landin's SECD Machine with the J Operator. - Olivier Danvy; Kevin Millikin (Log. Methods Comput. Sci., 2008)

Refunctionalization at work. - Olivier Danvy; Kevin Millikin (Sci. Comput. Program., 2009)

Defunctionalized Interpreters for Call-by-Need Evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (FLOPS, 2010)

On inter-deriving small-step and big-step semantics: A case study for storeless call-by-need evaluation. - Olivier Danvy; Kevin Millikin; Johan Munk; Ian Zerny (Theor. Comput. Sci., 2012)

Spicing Up Dart with Side Effects. - Erik Meijer 001; Kevin Millikin; Gilad Bracha (ACM Queue, 2015)

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations. - Dariusz Biernacki; Olivier Danvy; Kevin Millikin (ACM Trans. Program. Lang. Syst., 2015)

Faster sorting algorithms discovered using deep reinforcement learning. - Daniel J. Mankowitz; Andrea Michi; Anton Zhernov; Marco Gelmi; Marco Selvi; Cosmin Paduraru; Edouard Leurent; Shariq Iqbal; Jean-Baptiste Lespiau; Alex Ahern; Thomas Köppe; Kevin Millikin; et al. (Nat., 2023)