[plt-scheme] contract for dynamic context/state

From: Ryan Culpepper (ryanc at ccs.neu.edu)
Date: Wed Apr 28 21:49:30 EDT 2010

Has anyone written a contract form for "procedure that may only be 
called when <expr> is true"?

Ryan


Posted on the users mailing list.