Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN Haskell Workshop

Volumn , Issue , 2002, Pages 1-16

  Sheard, Tim ^a   Peyton Jones, Simon ^a  

^a NONE

Author keywords

Meta programming; Templates

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; METADATA; PROGRAM COMPILERS;

TEMPLATE META-PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036983358     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581690.581691     Document Type: Conference Paper

References (17)

1. A. Alexandrescu. Modern C++ design. Addison Wesley, 2001.
2. A. Bawden. First-class macros have types. In 27th ACM Symposium on Principles of Programming Languages (POPL'00), pages 133-141, Boston, Jan. 2000. ACM.
3. C. Calcagno, W. Taha, L. Huang, and X. Leroy. A bytecode-compiled, type-safe, multi-stage language. Technical report, Computer Science Department, Yale University, 2002.
4. W. Clinger and J. Rees. Macros that work. In 19th ACM Symposium on Principles of Programming Languages (POPL'91), pages 155-162. ACM, Jan. 1991.
5. O. Danvy. Functional unparsing. Journal of Functional Programming, 8, Nov. 1998.
6. J. de Wit. A technical overview of Generic Haskell. Master's thesis, INF-SCR-02-03, Department of Information and Computing Sciences, Utrecht University, 2002.
7. K. Dybvig, R. Hieb, and C. Bruggeman. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5:295-326, 1993.
8. S. E. Ganz, A. Sabry, and W. Taha. Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP-2001), New York, September 2001. ACM Press.
9. R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 2000 Haskell Workshop, Montreal, number NOTTCS-TR-00-1 in Technical Reports, Sept. 2000.
10. E. Kohlbecker, D. Friedman, M. Felleisen, and B. Duba. Hygienic macro expansion. In ACM Symposium on Lisp and Functional Programming, pages 151-161. ACM, 1986.
11. K. Pitman. Special forms in Lisp. In ACM Symposium on Lisp and Functional Programming, pages 179-187. ACM, 1980.
12. A. D. Robinson. Impact of economics on compiler optimization. In Proceedings of the ACM 2001 Java Grande Conference, Stanford, pages 1-10. ACM, June 2001.
13. T. Sheard. Accomplishments and research challenges in meta-programming. In W. Taha, editor, Proceedings of the Workshop on Semantics, Applications and Implementation of Program Generation (SAIG'01), volume 2196 of LNCS, pages 2-44, Berlin, September 2001. Springer Verlag. Invited talk.
14. T. Sheard, Z. Benaissa, and M. Martel. Introduction to Multistage Programming Using MetaML. Pacific Software Research Center, Oregon Graduate Institute, 2nd edition, 2000. Available at http://cse.ogi.edu/̃sheard/papers/manual.ps.
15. M. Shields, T. Sheard, and S. L. Peyton Jones. Dynamic typing by staged type inference. In 25th ACM Symposium on Principles of Programming Languages (POPL'98), pages 289-302, San Diego, Jan. 1998. ACM.
16. W. Taha and T. Sheard. Multistage programming with explicit annotations. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), volume 32 of SIGPLAN Notices, pages 203-217. ACM, Amsterdam, June 1997.
17. N. Winstanley. A type-sensitive preprocessor for Haskell. In Glasgow Workshop on Functional Programming, Ullapool, 1997.