Searching for "A Normal Form for Abstract Syntax." – 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.

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
… of constructing a normal form as an abstract-syntax tree, we construct byte code and load it in place, thereby…
Cited by 15 (7 self) – Add To MetaCart

The GF Language: Syntax and Type System
by Aarne Ranta — 2001
… of abstract syntax objects With a reference to the normal form of the function type in fun f : (x 1 : A 1…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 2.

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