DMCA
Template Meta-programming for Haskell (2002)
Cached
Download Links
- [radio.weblogs.com]
- [radio-weblogs.com]
- [www.cse.ogi.edu]
- [www.haskell.org]
- [www.cs.unm.edu]
- [cs.unm.edu]
- [www.cs.unm.edu]
- [www.cs.unm.edu]
- [research.microsoft.com]
- [www.research.microsoft.com]
- [www.research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the ACM SIGPLAN Workshop on Haskell |
| Citations: | 249 - 8 self |
BibTeX
@INPROCEEDINGS{Sheard02templatemeta-programming,
author = {Tim Sheard and Simon Peyton Jones},
title = {Template Meta-programming for Haskell},
booktitle = {In Proceedings of the ACM SIGPLAN Workshop on Haskell},
year = {2002},
pages = {1--16},
publisher = {ACM}
}
Share
 |
 |
 |
 |
||
OpenURL
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. 1
