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.

• A series of posts untangling the vocabulary in the syntax and semantics of programming languages.

  • What’s higher-order about so-called higher-order references?

  • What is a model?

  • What is syntax?

  • What is logical relation?

  • What is realizability?