| 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 |
