Tutorials and Documentation
-
Experimenting with Languages in Redex. An introduction to modeling programming languages in PLT Redex.
-
Normalization by Evaluation Four Ways: Reconstructing NbE Designs from First Principles. An introduction to the design space of normalization by evaluation.
-
How to Hash-lang. An introduction to designing and implementing hash-langs in Racket, focusing on first implementing a language, and lazily introducing required macro and metaprogramming concepts.