[plt-scheme] pseudo statics

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Wed Jul 1 20:06:27 EDT 2009

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.