[plt-scheme] pseudo statics

Looking further I found:

http://schemecookbook.org/Cookbook/IdiomStaticVariables

--hsm

On Wed, Jul 1, 2009 at 6:08 PM, Hugh Myers<hsmyers at gmail.com> wrote:
> Thanks David!
>
> --hsm
>
> On Wed, Jul 1, 2009 at 6:06 PM, David Van Horn<dvanhorn at ccs.neu.edu> wrote:
>> Hugh Myers wrote:
>>>
>>> Matthias, you mean Small bisimulations for reasoning about
>>> higher-order imperative programs? I can't find any versions except
>>> those I would have to pay for. Any others?
>>
>> ftp://ftp.ccs.neu.edu/pub/people/wand/papers/popl-06.pdf
>>
>>
>