[racket] linear et. al. types in Typed Racket?

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Wed Mar 12 19:07:00 EDT 2014

Typed Racket doesn't have anything like linear types.  There has been
some work on affine contracts in Racket, by Jesse Tov, you can find
the library and paper here:


On Wed, Mar 12, 2014 at 7:00 PM, Raoul Duke <raould at gmail.com> wrote:
> (i bing'd but didn't hit anything)
> any experiments with doing "advanced" typing?
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users

Posted on the users mailing list.