Modelling Actors with Redex: Part I
Summary
This article (Part I of a series) by Tony Garnock-Jones uses PLT Redex to model a simple ISWIM-like functional language and previews extending it toward an Erlang-style actor system. It covers the Redex workflow, syntax for ISWIM, evaluation contexts, primitive operators, binding forms, and reduction semantics, with examples and references to Redex and foundational PLT Semantics work.