Modelling Actors with Redex: Part III

This is the third part of a series of three articles on modelling actor-like systems 1 2 using PLT Redex . (The first sketch of this part of the series was written in August 2016, a day after the other two. Ten years later, I’m finally getting around to finishing it off!) Part I: The Functional Fragment: ISWIM in Redex Part II: The Communicating Fragment: Actors in Redex Part III: Efficiency vs.…