[plt-scheme] contract for dynamic context/state

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Apr 28 22:01:06 EDT 2010

Are Jesse's affine-universal interface contracts exactly of this kind (where expr includes a side-effect)? I believe he played with such contracts in Scheme -- Matthias

On Apr 28, 2010, at 9:49 PM, Ryan Culpepper wrote:

> Has anyone written a contract form for "procedure that may only be called when <expr> is true"?
> Ryan
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.