References

Michael D. Adams. Towards the Essence of Hygiene. In Proc. Principles of Programming Languages, 2015.

Eli Barzilay, Ryan Culpepper, and Matthew Flatt. Keeping it Clean with Syntax Parameters. In Proc. Workshop on Scheme and Functional Programming, 2011.

Alan Bawden and Jonathan Rees. Syntactic Closures. In Proc. Lisp and Functional Programming, 1988.

William Clinger and Jonathan Rees. Macros that Work. In Proc. Principles of Programming Languages, 1991.

William D. Clinger. Hygienic Macros Through Explicit Renaming. Lisp Pointers 4(4), 1991.

Ryan Culpepper and Matthias Felleisen. Debugging Hygienic Macros. Science of Computer Programming 75(7), 2010.

Tim Disney et al. Sweet.js. 2015. http://sweetjs.org/

Tim Disney, Nathan Faubion, David Herman, and Cormac Flanagan. Sweeten your JavaScript: Hygienic Macros for ES5. In Proc. Symposium on Dynamic Languages, 2014.

R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. Syntactic Abstraction in Scheme. Lisp and Symbolic Computation 5(4), 1993.

Matthew Flatt. Compilable and Composable Macros, You Want it When? In Proc. International Conference on Functional Programming, 2002.

Matthew Flatt. Submodules in Racket: You Want it When, Again? In Proc. Generative Programming: Concepts and Experiences, 2013.

Matthew Flatt, Ryan Culpepper, Robert Bruce Findler, and David Darais. Macros that Work Together: Compile-Time Bindings, Partial Expansion, and Definition Contexts. Journal of Functional Programming 22(2), 2012.

David Herman. Dissertation. PhD dissertation, Northeastern University, 2008.

Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, and Bruce Duba. Hygienic Macro Expansion. In Proc. Lisp and Functional Programming, 1986.

Eugene E. Kohlbecker and Mitchell Wand. Macro-by-Example: Deriving Syntactic Transformations from their Specifications. In Proc. Principles of Programming Languages, 1987.

Pierre Neron, Andrew P. Tolmach, Eelco Visser, and Guido Wachsmuth. A Theory of Name Resolution. In Proc. European Symposium on Programming, 2015.

Frank Pfenning and Conal Elliott. Higher-order Abstract Syntax. In Proc. Programming Language Design and Implementation, 1988.

Andrew M. Pitts. Nominal Logic, a First Order Theory of Names and Binding. Information and Computation 186(2), 2003.

Andrew M. Pitts. Nominal Sets: Names and Symmetry in Computer Science. Cambridge University Press, 2013.

Paul Stansifer and Mitch Wand. Romeo: a System for More Flexible Binding-Safe Programming. In Proc. International Conference on Functional Programming, 2014.

Andre van Tonder. R6RS Libraries and Macros. 2007. http://www.het.brown.edu/people/andre/macros/index.html

Oscar Waddell and R. Kent Dybvig. Extending the Scope of Syntactic Abstraction. In Proc. Principles of Programming Languages, 1999.