| |
| 2007 | ||
|---|---|---|
| 8 | EE | Olivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007) |
| 2005 | ||
| 7 | EE | Olivier Danvy, Lasse R. Nielsen: CPS transformation of beta-redexes. Inf. Process. Lett. 94(5): 217-224 (2005) |
| 2003 | ||
| 6 | EE | Olivier Danvy, Lasse R. Nielsen: A first-order one-pass CPS transformation. Theor. Comput. Sci. 308(1-3): 239-257 (2003) |
| 2002 | ||
| 5 | EE | Olivier Danvy, Lasse R. Nielsen: A First-Order One-Pass CPS Transformation. FoSSaCS 2002: 98-113 |
| 2001 | ||
| 4 | EE | Olivier Danvy, Lasse R. Nielsen: A Higher-Order Colon Translation. FLOPS 2001: 78-91 |
| 3 | Olivier Danvy, Lasse R. Nielsen: Defunctionalization at Work. PPDP 2001: 162-174 | |
| 2 | EE | Lasse R. Nielsen: A Selective CPS Transformation. Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1 | EE | Olivier Danvy, Lasse R. Nielsen: Syntactic Theories in Practice. Electr. Notes Theor. Comput. Sci. 59(4): (2001) |
| 1 | Olivier Danvy | [1] [3] [4] [5] [6] [7] [8] |
| 2 | Kevin Millikin | [8] |