| 2009 | ||
|---|---|---|
| 7 | Olivier Danvy, Kevin Millikin: Refunctionalization at work. Sci. Comput. Program. 74(8): 534-549 (2009) | |
| 2008 | ||
| 6 | Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator CoRR abs/0811.3231: (2008) | |
| 5 | Olivier Danvy, Kevin Millikin: On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion. Inf. Process. Lett. 106(3): 100-109 (2008) | |
| 4 | Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science 4(4): (2008) | |
| 2007 | ||
| 3 | Olivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007) | |
| 2005 | ||
| 2 | Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's J Operator. IFL 2005: 55-73 | |
| 1 | Kevin Millikin: A new approach to one-pass transformations. Trends in Functional Programming 2005: 1-13 | |
| 1 | Olivier Danvy | [2] [3] [4] [5] [6] [7] |
| 2 | Lasse R. Nielsen | [3] |