CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Proposals and implementations for macros in Scheme.

lang/scheme/doc/macros/

   cr/        CR Macros: Implementation for macros in Scheme.
   popl/      Lexically-scoped macros: POPL-91 paper and LP-93 
              re-exposition.
   r4rs/      R4RS Macros: Three implementations of the R4RS 
              macro proposal.
   sc/        Syntax-Case Macros: Proposals and implementations 
              for macros based on syntax-case.
   synclo/    Syntactic-Closure Macros: Proposal for macros 
              based on syntactic closures.
   willc/     Explicit-Renaming Based Macros: Proposals and 
              implementations for macros in Scheme.
This directory contains the various low and high-level proposals for macro facilities for Scheme, including the R4RS syntactic abstraction proposal, lexically-scoped macros, syntactic closures, explicit renaming, and syntax-case. Some implementations are included.
References: [1] Alan Bawden and Jonathan Rees, "Syntactic closures", ACM Conference on Lisp and Functional Programming, pages 86-95, 1988. [2] William Clinger, "Macros in Scheme", Lisp Pointers IV(4):17-23, October-December 1991. [3] William Clinger, "Hygienic macros through explicit renaming", Lisp Pointers IV(4):25-28, October-December 1991. [4] William Clinger and Jonathan Rees, editors, "The revised^4 report on the algorithmic language Scheme", Lisp Pointers IV(3):1-55, July-September 1991. [5] William Clinger and Jonathan Rees, "Macros that Work", ACM Symposium on Principles of Programming Languages (POPL-91), pages 155-162, 1991. [6] R. Kent Dybvig, "Writing hygienic macros in Scheme with syntax-case", Indiana University Computer Science Department Technical Report #356, June 1992. [7] Chris Hanson, "A syntactic closure macro facility", Lisp Pointers IV(4):9-16, October-December 1991. [8] Robert Hieb, R. Kent Dybvig, and Carl Bruggeman, "Syntactic Abstraction in Scheme", Indiana University Computer Science Department Technical Report #355, June 1992. [9] Eugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, and Bruce Duba, "Hygienic macro expansion", ACM Conference on Lisp and Functional Programming, pages 151-159, 1986. [10] Eugene E. Kohlbecker and Mitchell Wand, "Macro-by-example: Deriving syntactic transformations and their specifications", ACM Symposium on Principles of Programming Languages (POPL-87), pages 77-84, 1987. [11] Jonathan Rees, "The Scheme of Things: Implementing Lexically Scopes Macros" Lisp Pointers VI(1), January-March 1993. Copying: Free use, copying, distribution CD-ROM: Prime Time Freeware for AI, Issue 1-1 Mailing List: none Keywords: Macros, Scheme!Code, Scheme!Documents, Scheme!Macros
Last Web update on Mon Feb 13 10:37:06 1995
AI.Repository@cs.cmu.edu