The link goes to the first of three articles in a recently-completed series:

• <a href=“https://eighty-twenty.org/2016/08/18/redex-iswim” rel=“ugc”>Part I: The Functional Fragment: ISWIM in Redex</a>
• <a href=“https://eighty-twenty.org/2016/08/18/redex-iswim-with-actors” rel=“ugc”>Part II: The Communicating Fragment: Actors in Redex</a>
• <a href=“https://eighty-twenty.org/2026/08/03/redex-iswim-actors-efficient” rel=“ugc”>Part III: Efficiency vs. Nondeterminism</a>

Comments