Topic:
lang/scheme/doc/macros/
Summary:
Proposals and implementations for macros in Scheme.
Description:
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.
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
Contains:
cr/
popl/
exposition.
r4rs/
proposal.
sc/
macros
CR Macros: Implementation for macros in Scheme.
Lexically-scoped macros: POPL-91 paper and LP-93 reR4RS Macros: Three implementations of the R4RS macro
Syntax-Case Macros: Proposals and implementations for
based on syntax-case.
Syntactic-Closure Macros: Proposal for macros based on
syntactic closures.
willc/
Explicit-Renaming Based Macros: Proposals and
implementations
for macros in Scheme.
synclo/
See Also:
?
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.