Why it's nice to be quoted: Quasiquoting for haskell

Haskell'07: Proceedings of the ACM SIGPLAN 2007 Haskell Workshop

Volumn , Issue , 2007, Pages 73-82

  Mainland, Geoffrey ^a  

^a HARVARD UNIVERSITY   (United States)

Author keywords

Meta programming; Quasiquoting

Indexed keywords

COMPLEX DATA TYPES; META PROGRAMMING; QUASIQUOTING;

COMPUTATION THEORY; DATA STRUCTURES; EMBEDDED SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 38849106746     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291201.1291211     Document Type: Conference Paper

References (31)

1. F. Atanassow, D. Clarke, and J. Jeuring. Scripting XML with generic haskell. Technical Report UU-CS-2003, Institute of Information and Computing Sciences, Utrecht University, 2003.
2. Arthur I. Baars and S. Doaitse Swierstra. Type-safe, self inspecting code. In Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, pages 69-79, New York, NY, USA, 2004. ACM Press. ISBN 1-58113-850-4. doi: http://doi.acm.Org/10.1145/1017472.1017485.
3. Alan Bawden. Quasiquotation in lisp. In Partial Evaluation and Semantic-Based Program Manipulation, pages 4-12, 1999. URL citeseer.ist.psu.edu/bawden99quasiquotation.html.
4. Véronique Benzaken, Giuseppe Castagna, and Alain Frisch. CDuce: an XML-centric general-purpose language. ACM SIGPLAN Notices, 38(9): 5.1-63, September 2003.
5. Daniel de Rauglaudre. Camlp4 reference manual, 2003. URL http://caml.inria.fr/pub/docs/manual-camlp4/index.html.
6. Conal Elliott, Sigbjorn Finne, and Oege de Moor. Compiling embedded languages. In SAIG, pages 9-27, 2000. URL citeseer.ist.psu.edu/ elliott00compiling.html.
7. David Gay, Phil Levis, Rob von Behren, Matt Welsh, Eric Brewer, and David Culler. The nesC language: A holistic approach to networked embedded systems. In Proc. Programming Language Design and Implementation (PLDI), June 2003.
8. Haruo Hosoya and Benjamin C. Pierce. Xduce: A statically typed XML processing language. ACM Trans. Inter. Tech., 3(2): 117-148, 2003. ISSN 1533-5399. doi: http://doi.acm.org/10.1145/767193.767195.
9. Haruo Hosoya, Jérôme Vouillon, and Benjamin C. Pierce. Regular expression types for XML. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(1):46-90, January 2005. Preliminary version in ICFP 2000.
10. Paul Hudak. Modular domain specific languages and tools. In ICSR 98, 1998. URL http://haskell.org/frp/dsl.pdf.
11. S. Kamin. Standard ML as ameta-programming language. Technical report, University of Illinois at Urbana-Champaign, 1996. URL citeseer. ist.psu.edu/kamin96standard.html.
12. 5 report on the algorithmic language Scheme. ACM SIGPLAN Notices, 33 (9):26-76, 1998. URL citeseer.ist.psu.edu/kelsey98revised.html.
13. Chris Kuklewicz. Text Regex.Posix. http://haskell.org/ghc/docs/6.6.1/ html/libraries/regex-posix/Text-Regex-Posix.html.
14. 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. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).
15. Ralf Lämmel and Simon Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP 2004), pages 244-255. ACM Press, 2004.
16. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In Proc. 2nd USENIX Conference on Domain-Specific Languages'99, 1999. URL http://research.microsoft.com/~emeijer/Papers/HaskellDB.pdf.
17. Andres L oh and Ralf Hinze. Open data types and open functions. In PPDP '06: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, pages 133-144, New York, NY, USA, 2006. ACM. Press. ISBN 1-59593-388-3. doi: http://doi.acm.org/10.1145/1140335. 1140352.
18. Geoffrey Mainland, Matt Welsh, and Greg Morrisett. Flask: A language for data-driven sensor network programs. Technical Report TR-13-06, Harvard University, 2006.
19. Izzet Pembeci, Henrik Nilsson, and Greogory Hager. Functional reactive robotics: An exercise in principled integration of domain-specific languages. In Principles and Practice of Declarative Programming (PPDP'02), October 2002. URL http://haskell.cs.yale.edu/yale/papers/ppdp02/ppdp02.ps.gz.
20. John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. Lecture Notes in Computer Science, 1551: 9.1-105, 1999. URL citeseer.ist.psu.edu/peterson991ambda.html.
21. Simon Peyton Jones, Norman Ramsey, and Fermin Reig. C - : a portable assembly language that supports garbage collection. In International Conference on Principles and Practice of Declarative Programming, September 1999. URL http://www.eecs.harvard.edu/~nr/pubs/c--gc-abstract.html.
22. Simon L. Peyton Jones. Implementing lazy functional languages on stock hardware: The spineless tagless g-machine. Journal of Functional Programming, 2(2):127-202, 1992. URL citeseer.ist.psu.edu/ peytonjones92implementing.html.
23. Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In Manuel M. T. Chakravarty, editor, ACM SIGPLAN Haskell Workshop 02, pages 1-16. ACM Press, October 2002.
24. Walid Taha. A gentle introduction to multi-stage programming. In Domain-Specific Program Generation, pages 30-50, 2003.
25. Walid Taha and Tim Sheard. Multi-stage programming with explicit annotations. In Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantic based program manipulations PEPM'97, Amsterdam, pages 203-217. ACM, 1997.
26. Andrew Tolmach. An external representation for the GHC core language. URL citeseer.ist.psu.edu/tolmach01external.html.
27. Mark Tullsen. First class patterns. In E. Pontelli and V. Santos Costa, editors, Practical Aspects of Declarative Languages, Second. International Workshop, PADL 2000, volume 1753 of Lecture Notes in Computer Science, pages 1-15. Springer-Verlag, January 2000.
28. Philip Wadler. Views: A way for pattern matching to cohabit with data abstraction. In Steve Munchnik, editor, Proceedings, 14th Symposium. on Principles of Programming Languages, pages 307-312. Association for Computing Machinery, 1987. URL citeseer.ist.psu.edu/wadler86views.html.
29. Philip Wadler. The expression problem, http://www.daimi.au.dk/~madst/ tool/papers/expression.txt, 1998.
30. 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. URL citeseer.ist.psu.edu/ wallace99haskell.html.
31. Hongwei Xi, Chiyan Chen, and Gang Chen. Guarded recursive datatype constructors. In POPL, pages 224-235, 2003. URL http://doi.acm.org/10. 1145/640128.604150.