[plt-dev] abstract contracts

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Sep 8 08:21:09 EDT 2009

On Tue, Sep 8, 2009 at 7:18 AM, Matthias Felleisen<matthias at ccs.neu.edu> wrote:
> Thanks for reminding me of this. Sam and I had an example like this
> that explained why we couldn't use plain polymorphic contracts to
> control exports from Typed Scheme.

I don't see how an example along these lines would make typed scheme
unsound. (Such examples still behave parametrically polymorphically.)


Posted on the dev mailing list.