Authors: Danvy, O Rhiger, M Rose, KH

Citation: O. Danvy et al., Normalization by evaluation with typed abstract syntax, J FUNCT PRO, 11, 2001, pp. 673-680

Authors: Damian, D Danvy, O

Citation: D. Damian et O. Danvy, Syntactic accidents in program analysis: On the impact of the CPS transformation, ACM SIGPL N, 35(9), 2000, pp. 209-220

Authors: Danvy, O Schultz, UP

Citation: O. Danvy et Up. Schultz, Lambda-dropping: transforming recursive equations into programs with blockstructure, THEOR COMP, 248(1-2), 2000, pp. 243-287

Authors: Danvy, O Gluck, R Thiemann, P

Citation: O. Danvy et al., 1998 symposium on partial evaluation, ACM C SURV, 30(3), 1998, pp. 285-290