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

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:
http://www.eecs.harvard.edu/~tov/pubs/affine-contracts/

Sam

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