Christensen, A. S., Kirkegaard, C. & Møller, A. (2004).
A Runtime System for XML Transformations in Java. In Z. Bellahsene, T. Milo, M. Rys, D. Suciu & R. Unland (Eds.),
Database and XML Technologies: Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004. Proceedings (pp. 143-157). Springer.
https://doi.org/10.1007/978-3-540-30081-6_11
Danvy, O., Damian, D. & Taha, W. (Ed.) (2001).
Static Transition Compression. In
Semantics, Applications, and Implementation of Program Generation (Vol. 2196 of Lecture Notes in Computer Science, pp. 92-107). Springer.
Danvy, O. & López, P. E. M. (2003).
Tagging, Encoding, and Jones Optimality. In P. Degano (Ed.),
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (pp. 335-347). Springer.
https://doi.org/10.1007/3-540-36575-3_23
Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (Eds.) (2005).
Editorial.
Higher-Order and Symbolic Computation,
18(1-2), 5-6.
Danvy, O., Filinski, A., Giavitto, J-L., Moreau, P-E. & Talcott, C. (2006).
Editorial.
Higher-Order and Symbolic Computation,
19(1), 343-344.