Template Meta-programming for Haskell Export

@inproceedings{citeulike:3211, abstract = {We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc.}, address = {New York, NY, USA}, author = {Sheard, Tim and Peyton Jones, Simon L.}, booktitle = {Haskell 2002}, citeulike-article-id = {3211}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=581691}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/581690.581691}, citeulike-linkout-2 = {http://http://research.microsoft.com/~simonpj/papers/meta-haskell/}, doi = {10.1145/581690.581691}, isbn = {1-58113-605-6}, keywords = {haskell, metaprogramming, submit-gdiff, submit-incremental, template-haskell}, location = {Pittsburgh, Pennsylvania}, pages = {1--16}, posted-at = {2009-11-03 17:05:46}, priority = {0}, publisher = {ACM}, title = {Template Meta-programming for Haskell}, url = {http://dx.doi.org/10.1145/581690.581691}, year = {2002} }

TY - CONF ID - citeulike:3211 L3 - citeulike-article-id:3211 N2 - We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc. CY - Pittsburgh, Pennsylvania SN - 1-58113-605-6 AD - New York, NY, USA EP - 16 TI - Template Meta-programming for Haskell PB - ACM T2 - Haskell 2002 SP - 1 KW - haskell KW - metaprogramming KW - submit-gdiff KW - submit-incremental KW - template-haskell AU - Sheard, Tim AU - Peyton Jones, Simon PY - 2002/// UR - http://dx.doi.org/10.1145/581690.581691 ER -