A Bytecode-Compiled, Type-safe, Multi-Stage Language Export

@misc{citeulike:71756, abstract = {Inspired by the successes of program generation, partial evaluation, and runtime code generation, multi-stage languages were developed as a uniform, high-level, and principled view of staging. Our current goal is to demonstrate the utility of these languages in a practical implementation. As a rst step this paper presents MetaOCaml, a type-safe, multi-stage language, built as an extension to OCaml's bytecode compiler. Future-stage computations are represented as source programs. This makes it...}, author = {Calcagno, Cristiano and Taha, Walid and Huang, Liwen and Leroy, Xavier}, citeulike-article-id = {71756}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.7148}, keywords = {metaocaml, metaprogramming, staging}, posted-at = {2005-01-06 07:45:43}, title = {A Bytecode-Compiled, Type-safe, Multi-Stage Language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.7148} }

TY - GEN ID - citeulike:71756 L3 - citeulike-article-id:71756 N2 - Inspired by the successes of program generation, partial evaluation, and runtime code generation, multi-stage languages were developed as a uniform, high-level, and principled view of staging. Our current goal is to demonstrate the utility of these languages in a practical implementation. As a rst step this paper presents MetaOCaml, a type-safe, multi-stage language, built as an extension to OCaml's bytecode compiler. Future-stage computations are represented as source programs. This makes it... TI - A Bytecode-Compiled, Type-safe, Multi-Stage Language KW - metaocaml KW - metaprogramming KW - staging AU - Calcagno, Cristiano AU - Taha, Walid AU - Huang, Liwen AU - Leroy, Xavier UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.7148 ER -