Banerjee, A.
, Danvy, O., Doh, K-G. & Hatcliff , J. (Eds.) (2013).
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday : Festschrift for Dave Schmidt, Manhattan, Kansas, USA, 19-20th September 2013. http://published.eptcs.org/. Electronic Proceedings in Theoretical Computer Science Vol. 129
https://doi.org/10.4204/EPTCS.129
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.
https://doi.org/10.1007/3-540-36377-7_15
Kristensen, E. K. & Møller, A. (2017).
Inference and Evolution of TypeScript Declaration Files. In M. Huisman & J. Rubin (Eds.),
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Vol. 10202, pp. 99-115). Springer VS.
https://doi.org/10.1007/978-3-662-54494-5_6
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
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