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. Lecture Notes in Computer Science Vol. 2618
https://doi.org/10.1007/3-540-36575-3_23
Danvy, O. & Nielsen, L. R. (2002).
A First-Order One-Pass CPS Transformation. In M. Nielsen & U. Engberg (Eds.),
Foundations of Software Science and Computer Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 367-393). Springer. Lecture Notes in Computer Science Vol. 2303
https://doi.org/10.1007/3-540-45931-6_8
Amtoft, T., Consel, C.
, Danvy, O. & Malmkjær, K. (2002).
The Abstraction and Instantiation of String-Matching Programs. In T. Mogensen, D. Schmidt & H. Sudborough (Eds.),
The Essence of Computation: Complexity, Analysis, Transformation (pp. 332-357). Springer. Lecture Notes in Computer Science Vol. 2566
https://doi.org/10.1007/3-540-36377-7_15
Danvy, O., Rhiger, M. & Grobauer, B. (2001).
A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer. Lecture Notes in Computer Science Vol. 2196
https://doi.org/10.1007/3-540-44806-3_7
Klarlund, N.
, Møller, A. & Schwartzbach, M. I. (2001).
MONA Implementation Secrets. In S. Yu & A. Paun (Eds.),
Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer. Lecture Notes in Computer Science Vol. 2088
https://doi.org/10.1007/3-540-44674-5_4