Danvy, O. (1996).
Type-Directed Partial Evaluation. In
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.
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
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
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
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