[racket] [redex] Structured Semantics

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu Jul 8 11:12:35 EDT 2010


On Jul 8, 2010, at 11:06 AM, Robby Findler wrote:

> On Thu, Jul 8, 2010 at 10:01 AM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> Do we show the GC rules in the Redex book? It would do the same.
> 
> Only in part I.

I was afraid of that. 

I think a revision should demonstrate how to run GC on a store 
machine. That would have solved Jay's problem. 

-- Matthias



Posted on the users mailing list.