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

@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}, keywords = {metaocaml, metaprogramming, staging}, posted-at = {2005-01-06 07:45:43}, title = {A Bytecode-Compiled, Type-safe, Multi-Stage Language}, url = {http://citeseer.ist.psu.edu/460583.html} }

TY - GEN ID - citeulike:71756 L3 - citeulike-article-id:71756 TI - A Bytecode-Compiled, Type-safe, Multi-Stage Language 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... KW - metaocaml KW - metaprogramming KW - staging AU - Calcagno, Cristiano AU - Taha, Walid AU - Huang, Liwen AU - Leroy, Xavier UR - http://citeseer.ist.psu.edu/460583.html ER -