This paper proposes a practical means to avoid this by providing specialized translations from subsets of the base language to different target languages. This ...

This approach preserves the homogeneous "look" of multi-stage programs, and, more importantly, the static guarantees about the generated code. In addition, ...

Abstract. Previous work on semantics-based multi-stage programming. (MSP) language design focused on homogeneous designs, where the gen-.

This paper proposes a practical means to avoid this by providing specialized translations from subsets of the base language to different target languages. This ...

This paper proposes a practical means to avoid this by providing specialized translations from subsets of the base language to different target languages. This ...

Homogeneous designs simply add a hygienic quasi-quotation and evaluation mechanism to a base language. An apparent disadvantage of this approach is that the ...

Abstract. Previous work on semantics-based multi-stage programming. (MSP) language design focused on homogeneous designs, where the generat-.

This paper proposes a practical means toavoid this by providing specialized translations from subsets of the baselanguage to different target languages. This ...

May 15, 2005 · The main point is that the output from the first stage is a subset of OCaml (actually, a subset of Ocaml AST), which is more regular and permits ...

This paper designs and implements a translation to a subset of C suitable for numerical computation, and shows that it preserves static typing and promotes ...