| From: Hugh Myers (hsmyers at gmail.com) Date: Wed Jul 1 20:08:26 EDT 2009 |
|
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 > >
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}