Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts

  title={Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts},
  author={Matthew Flatt and Ryan Culpepper and David Darais and Robert Bruce Findler},
  journal={J. Funct. Program.},
Racket is a large language that is built mostly within itself. Unlike the usual approach taken by non-Lisp languages, the self-hosting of Racket is not a matter of bootstrapping one implementation through a previous implementation, but instead a matter of building a tower of languages and libraries via macros. The upper layers of the tower include a class system, a component system, pedagogic variants of Scheme, a statically typed dialect of Scheme, and more. The demands of this… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 23 references

Syntactic Abstraction in Scheme

Lisp and Symbolic Computation • 1992
View 16 Excerpts
Highly Influenced

A Theory of Typed Hygienic Macros

David Herman
PhD dissertation, Northeastern University, • 2010

R6RS Libraries and Macros

André van Tonder
View 2 Excerpts

The Revised 6 Report on the Algorithmic Language Scheme

Michael Sperber Ed

Fully-parameterized Higher-order Modules with Hygienic Macros

Martin Gasbichler
PhD dissertation, Universität Tübingen, • 2006

Similar Papers

Loading similar papers…