| |
| 2008 | ||
|---|---|---|
| 5 | EE | Olivier Danvy, Kevin Millikin: A Rational Deconstruction of Landin's SECD Machine with the J Operator CoRR abs/0811.3231: (2008) |
| 4 | EE | 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) |
| 2007 | ||
| 3 | EE | Olivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007) |
| 2005 | ||
| 2 | EE | 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] |
| 2 | Lasse R. Nielsen | [3] |