Searching for "A Semantic Account of Type-Directed Partial Evaluation." – sorted by Relevance.

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

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

4 documents found, showing 1 through 4.

A Semantic Account of Type-Directed Partial Evaluation
by Andrzej Filinski — 1999 — In Gopalan Nadathur, editor, International Conference on Principles and Practice of Declarative Programming, number 1702 in Lecture
…BRICS RS-99-17 A. Filinski: A Semantic Account of Type-Directed Partial Evaluation BRICS Basic…
Cited by 25 (3 self) – Add To MetaCart

A Semantic Account of Type-Directed Partial Evaluation Principles and Practice of Declarative
by unknown authors
… A Semantic Account of Type-Directed Partial Evaluation Principles and Practice of Declarative…
Add To MetaCart

The Guideline for the Accounting
by Andrzej Filinski, Copyright C, Andrzej Filinski, Andrzej Filinski — 2003 — Management in the Construction Enterprises No.27
…BRICS RS-99-17 A. Filinski: A Semantic Account of Type-Directed Partial Evaluation BRICS Basic…
Cited by 1 (0 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
…-17] Andrzej Filinski. A Semantic Account of Type-Directed Partial Evaluation. June 1999. Appears in Nadathur…
Add To MetaCart

Showing 1 through 4.

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