Keynote given at PADL 2023; see also the recording on youtube.
Discussion is welcomed at [PADL’23] Modern Macros on the Racket Discussions forum.
From the beginning of the talk:
-
Eugene Kohlbecker, Daniel P. Friedman, Matthias Felleisen, and Bruce Duba. 1986. Hygienic macro expansion. In Proceedings of the 1986 ACM conference on LISP and functional programming (LFP '86). Association for Computing Machinery, New York, NY, USA, 151–161.* https://doi.org/10.1145/319838.319859
-
William Clinger and Jonathan Rees. 1991. Macros that work. In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '91). Association for Computing Machinery, New York, NY, USA, 155–162.* https://doi.org/10.1145/99583.99607
-
R. Kent Dybvig, Robert Hieb, and Carl Bruggeman. 1992. Syntactic abstraction in Scheme. Lisp and Symbolic Computation 5, 4 (Dec. 1992), 295–326. https://doi.org/10.1007/BF01806308
-
Matthew Flatt. 2002. Composable and compilable macros: you want it when? In Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02). Association for Computing Machinery, New York, NY, USA, 72–83. https://doi.org/10.1145/581478.581486
-
Matthew Flatt. 2016. Binding as sets of scopes. In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '16). Association for Computing Machinery, New York, NY, USA, 705–717. https://doi.org/10.1145/2837614.2837620
The paper mentioned at approximately 22:06 is:
- Michael Ballantyne, Alexis King, and Matthias Felleisen. 2020. Macros for domain-specific languages. Proc. ACM Program. Lang. 4, OOPSLA, Article 229 (November 2020), 29 pages. https://doi.org/10.1145/3428297; See also ee-lib.
A special thanks to Shu-Hung You, Matthew Flatt, Christos Dimoulas, and Matthias Felleisen for their feedback on early drafts of this talk.