A Higher-Order Colon Translation. - Olivier Danvy; Lasse R. Nielsen (FLOPS, 2001)

Defunctionalization at Work. - Olivier Danvy; Lasse R. Nielsen (PPDP, 2001)

A Selective CPS Transformation. - Lasse R. Nielsen (MFPS, 2001)

Syntactic Theories in Practice. - Olivier Danvy; Lasse R. Nielsen (RULE@PLI, 2001)

A first-order one-pass CPS transformation. - Olivier Danvy; Lasse R. Nielsen (Theor. Comput. Sci., 2003)

CPS transformation of beta-redexes. - Olivier Danvy; Lasse R. Nielsen (Inf. Process. Lett., 2005)

On one-pass CPS transformations. - Olivier Danvy; Kevin Millikin; Lasse R. Nielsen (J. Funct. Program., 2007)