MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
by V. Balat, O. Danvy, Olivier Danvy, Olivier Danvy — 1997 — Proceedings of the Second International Workshop on Types in Compilation, number 1473 in Lecture Notes in Computer Science
… Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation (Preliminary Version) Vincent…
Cited by 15 (7 self) – Add To MetaCart

BRICS Research Series, 1997
by Brics, David A. Schmidt, Abstract Interpretation, Operational Semantics, Olivier Danvy, Mayer Goldberg, Partial Evaluation Euclidian, Jesper G. Henriksen — 1999
… Partial Evaluation and Run-Time Code Generation (Preliminary Version). December 1997. 16 pp. To appear…
Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB