[plt-scheme] pseudo statics

[Hugh Myers]

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
>
>