| 2008 | ||
|---|---|---|
| 3 | 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) |
| 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] |