A theory of hygienic macros

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

Volumn 4960 LNCS, Issue , 2008, Pages 48-62

  Herman, David ^a   Wand, Mitchell ^a  

^a Northeastern University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALPHA-EQUIVALENCE; CONFERENCES (CHEMICAL INDUSTRY); EUROPEAN; FIRST ORDERS; HEIDELBERG (CO); LANGUAGES AND SYSTEMS; MACRO SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; FOOD PRESERVATION; INFORMATION THEORY; PROGRAMMING THEORY; SPECIFICATIONS;

MACROS;

EID: 47249142946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78739-6_4     Document Type: Conference Paper

References (25)

1. Kiselyov, O.: How to write seemingly unhygienic and referentially opaque macros with syntax-rules. In: Scheme Workshop (2002)
2. Kohlbecker, E., Friedman, D.P., Felleisen, M., Duba, B.: Hygienic macro expansion. In: LISP and Functional Programming (1986)
3. Clinger, W., Rees, J.: Macros that work. In: POPL (1991)
4. Bawden, A., Rees, J.: Syntactic closures. In: LISP and Functional Programming, pp. 86-95 (1988)
5. Kent Dybvig, R., Bruggeman, R.H.C.: Syntactic abstraction in Scheme. Lisp and Symbolic Computation 5(4), 295-326 (1993)
6. van Tonder, A.: SRFI 72: Hygienic macros. Online (September 2005)
7. 4 report on the algorithmic language Scheme. Technical report (1991)
8. Culpepper, R., Felleisen, M.: Taming macros. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, Springer, Heidelberg (2004)
9. Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13(3-5), 341-363 (2001)
10. Gorn, S.: Explicit definitions and linguistic dominoes. In: Systems and Computer Science, Proceedings of the Conference held at Univ. of Western Ontario (1967)
11. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. revised edn. North-Holland, Amsterdam (1984)
12. Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115(1), 38-94 (1994)
13. Flatt, M.: PLT MzScheme: Language manual. Technical Report PLT-TR2007-1-v371, PLT Scheme Inc. (2007), http://www.plt-scheme.org/ techreports/
14. Krishnamurthi, S.: Linguistic Reuse. PhD thesis, Rice University (May 2001)
15. de Rauglaudre, D.: Camlp4 reference manual. Online (September 2003)
16. Sheard, T., Peyton Jones, S.: Template metaprogramming for Haskell. In: Chakravarty, M.M.T. (ed.) Haskell Workshop, pp. 1-16 (2002)
17. Ganz, S.E., Sabry, A., Taha, W.: Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML. In: ICFP 2001, pp. 74-85 (2001)
18. Taha, W., Johann, P.: Staged notational definitions. In: Pfenning, F., Smaragdakis, Y. (eds.) GPCE 2003. LNCS, vol. 2830, pp. 97-116. Springer, Heidelberg (2003)
19. Gasbichler, M.: Fully-parameterized, first-class modules with hygienic macros. PhD thesis, University of Tübingen (August 2006)
20. Griffin, T.: Notational definition-a formal account. In: LICS 1988, pp. 372-383 (1988)
21. Bove, A., Arbilla, L.: A confluent calculus of macro expansion and evaluation. In: LISP and Functional Programming, pp. 278-287. ACM Press, New York (1992)
22. McKinna, J., Pollack, R.: Some lambda calculus and type theory formalized. Journal of Automated Reasoning 23, 373-409 (1999)
23. Gordon, A.D.: A mechanisation of name-carrying syntax up to alpha-conversion. In: Workshop on HOL Theorem Proving and its Applications, pp. 413-425 (1994)
24. McBride, C., McKinna, J.: Functional pearl: I am not a number-I am a free variable. In: Haskell Workshop, pp. 1-9 (2004)
25. Kohlbecker, E.E., Wand, M.: Macro-by-example: Deriving syntactic transformations from their specifications. In: Principles of Programming Languages (1987)