Kevin Millikin

Google Publications

Previous Publications

  •  

    Refunctionalization at work

    Olivier Danvy, Kevin Millikin

    Science of Computer Programming, vol. 74 (2009), pp. 534-549

  •   

    On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

    Olivier Danvy, Kevin Millikin

    Information Processing Letters, vol. 106 (2008), pp. 100-109

  •  

    A structured approach to the transformation, normalization and execution of computer programs

    Kevin Millikin

    Ph.D. Thesis, BRICS, Department of Computer Science, University of Aarhus (2007)

  •   

    On one-pass CPS transformations

    Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

    Journal of Functional Programming, vol. 17 (2007), pp. 793-812

  •   

    A dynamic continuation-passing style for dynamic delimited continuations

    Dariusz Biernacki, Olivier Danvy, Kevin Millikin

    BRICS, Department of Computer Science, University of Aarhus (2005), pp. 1-60