Type-directed partial evaluation (1996)

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

Document Versions

Type-directed partial evaluation –Olivier Danvy — 1996 — Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Online Type-Directed Partial Evaluation –O. Danvy, Olivier Danvy, Olivier Danvy — 1997 — Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Continuation-Based Partial Evaluation –Julia L. Lawall, Olivier Danvy — 1993 — Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages
Type-Directed Partial Evaluation –Olivier Danvy — 1996
Continuation-Based Partial Evaluation –Julia L. Lawall, Olivier Danvy — 1993