Optimising embedded DSLs using Template Haskell

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3286, Issue , 2004, Pages 186-205

  Seefried, Sean ^a   Chakravarty, Manuel ^a   Keller, Gabriele ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM ORIENTED LANGUAGES;

APPLICATION AREA; COMPILE-TIME META-PROGRAMMING; EMBEDDED DOMAIN SPECIFIC LANGUAGES; GENERAL-PURPOSE PROGRAMMING LANGUAGE; IMPLEMENTATION COST; LANGUAGE CONSTRUCTS; META PROGRAMMING; TEMPLATE HASKELL;

COMPUTATIONAL LINGUISTICS;

EID: 35048823325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30175-2_10     Document Type: Article

References (19)

1. The Glasgow Haskell Compiler, http://haskell.org/ghc.
2. Krzysztof Czarnecki, John O'Donnell, Jörg Striegnitz, and Walid Taha. DSL Implementation in MetaOCaml, Template Haskell, and C++. URL: http://www.cs.rice.edu/~taha/publications.html, 2003.
3. Conal Elliott. Functional implementations of continuous modeled animation. Lecture Notes in Computer Science, 1490:284-, 1998.
4. Conal Elliott. Functional Image Synthesis. In proceedings Bridges 2001, Mathematical Connections in Art, Music, and Science, 2001.
5. Conal Elliott, Sigbjorn Finne, and Oege de Moor. Compiling embedded languages. Journal of Functional Programming, 13(3):455-481, May 2003.
6. Daniel P. Friedman and Mitchell Wand. Reification: Reflection without Metaphysics. In proceedings of the 1984 ACM Symposium on LISP and functional programming, pages 348-355, 1984.
7. Paul Hudak. Building domain-specific embedded languages. ACM Computing Surveys (CSUR), 28(4es):196, 1996.
8. Paul Hudak. Modular domain specific languages and tools. In P. Devanbu and J. Poulin, editors, Proceedings: Fifth International Conference on Software Reuse, pages 134-142. IEEE Computer Society Press, 1998.
9. Paul Hudak, Tom Makucevich, Syam Gadde, and Bo Whong. Haskore music notation - an algebra of music. Journal of Functional Programming, 6(3):465-483, 1996.
10. Simon Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the Rules: Rewriting as a practical optimisation technique in GHC. International Conference on Functional Programming (ICFP 2001). Haskell Workshop., September 2001.
11. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, March 2003.
12. Proc. of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).
13. Ian Lynagh. Unrolling and simplifying expressions with Template Haskell. URL: http://web.comlab.ox.ac.uk/oucl/work/ian.lynagh/papers/ Unrolling_and_Simplifying_Expressions_with_Template_Haskell.ps, May 2003.
14. André Pang, Donald Stewart, Sean Seefried, and Manuel Chakravarty. Plugging Haskell In. To be published in Haskell Workshop 2004, June 2004.
15. Arch D. Robinson. The Impact of Economics on Compiler Optimization. In proceedings of the ACM 2001 Java Grande Conference, Standford, pages 1-10, June 2001.
16. Meurig Sage. FranTk - a declarative GUI language for Haskell. ACM SIGPLAN Notices, 35(9):106-117, 2000.
17. Tim Sheard and Simon Peyton Jones. Template Meta-Programming for Haskell. ACM SIGPLAN Notices: PLI Workshops, 37(12):60-75, 2002.
18. Brian Cantwell Smith. Reflection and Semantics in Lisp. Conf. Rec. 11th ACM Symp. on Principles of Programming Languages, pages 23-35, 1984.
19. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), volume 34-9, pages 148-159, N.Y., 27-29 1999. ACM Press.