N.2 On the expansion process

There are multiple documents we can study to get a better understanding of the expander’s code. Most likely the top document is:

[exp1] Abdulaziz Ghuloum. “Implicit Phasing for Library Dependencies”. Ph.D. thesis. Department of Computer Science, Indiana University. December 2008.

from the very author of the expander library; it is quite long. Here are some papers on syntax-case macros and R6RS libraries:

[exp2] R. Kent Dybvig. “Writing Hygienic Macros in Scheme with Syntax-Case”. Department of Computer Science, Indiana University. Technical Report 356. June 1992.

[exp3] Abdulaziz Ghuloum, R. Kent Dybvig. “Implicit Phasing for R6RS Libraries”. Department of Computer Science, Indiana University.

and the very paper that introduced hygienic macros:

[exp4] Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce aDuba. “Hygienic Macro Expansion”. Department of Computer Science, Indiana University. 1986.

Here is another long document covering muliple components of this Scheme implementation:

[exp5] Oscar Waddell. “Extending the Scope of Syntactic Abstraction”. Ph.D. thesis. Department of Computer Science, Indiana University. August 1999.

A discussion of syntax parameters as implemented in Racket is in the paper:

[exp6] Eli Barzilay, Ryan Culpepper, Matthew Flatt. “Keeping it clean with syntax parameters”. 2011.