[plt-scheme] pseudo statics

From: Hugh Myers (hsmyers at gmail.com)
Date: Wed Jul 1 20:08:26 EDT 2009

Thanks David!


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

Posted on the users mailing list.