Dear Racket Users, I've been working on a short introduction to using Redex, the semantic modelling toolkit included in Racket. I presented this material at the Redex Summer School and recently gave a tutorial based on it at POPL; it's probably in good enough shape to share.
The tutorial works through several standard semantic systems like reduction relations, typing judgments, evaluators, and abstract machines. It also shows how to develop program analyzers in the so-called "Abstracting Abstract Machines" (AAM) style developed by Matt Might and myself. Hope you enjoy. Feedback is always welcome and appreciated. https://dvanhorn.github.io/redex-aam-tutorial/ David -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.