Type-directed partial evaluation (1996)

by Olivier Danvy
Venue:Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Citations:217 - 38 self

Documents Related by Co-Citation

667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
197 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
634 Compiling with Continuations – A Appel - 1992
239 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
985 A theory of type polymorphism in programming – Robin Milner - 1978
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
552 Lambda Calculi with Types – Henk Barendregt - 1993