MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Self-Applicable Partial Evaluator for the Lambda Calculus." – 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.

ATOM

A self-applicable partial evaluator for the lambda calculus
by Neil D. Jones, Carsten K. Gomard, Peter Sestoft — 1990 — International Conference on Computer Languages
… extended to give a self-applicable partial evaluator for the same language, using essentially the two level…
Cited by 11 (3 self) – Add To MetaCart

A Partial Evaluator for the Untyped Lambda Calculus
by Carsten K. Gomard, Neil D. Jones — 1991 — Final Report of the NSF Workshop on Scientific Database Management. SIGMOD RECORD
… of development sketched above. We construct a self-applicable partial evaluator for the lambda calculus…
Cited by 90 (3 self) – Add To MetaCart

Partial Evaluation of Standard ML (Master's Thesis)
by Lars Birkedal, Morten Welinder, Niven Larry — 1993
…-Verlag, 1990. [Ses86] Peter Sestoft. The structure of a self-applicable partial evaluator. In H. Ganzinger…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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