Searching for "The Second Futamura Projection for Type-Directed Partial Evaluation." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

The Second Futamura Projection for Type-Directed Partial Evaluation
by Bernd Grobauer, Bernd Grobauer, Zhe Yang, Zhe Yang, Zhe Yang — 1999 — Higher-Order and Symbolic Computation
…BRICS RS-99-40 Grobauer & Yang: The Second Futamura Projection for Type-Directed Partial Evaluation…
Cited by 7 (1 self) – Add To MetaCart

March 1999. 21 pp. Appears in Mendelzon, editor,
by Eighth International World, Klaus Havelund, Kim G. Larsen, Arne Skou, Formal Verification, Rune B. Lyngs, Christian N. S. Pedersen, Henrik Nielsen Measures, Julian C. Bradfield, Perdita Stevens, Observational Mu-calculus, Sibylle B. Frschle, Thomas Troels Hildebr, T On Plain
… Grobauer and Zhe Yang. The Second Futamura Projection for Type-Directed Partial Evaluation. November 1999…
Add To MetaCart

Topics in Semantics-based Program Manipulation
by Bernd Grobauer — 2001
…. The first article in this dissertation describes how the second Futamura projection can be achieved for type-directed…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB