[racket-dev] optimizations on types in TR

From: Dmitry.Cherkassov.dcherkassov at gmail.com (Dmitry.Cherkassov.dcherkassov at gmail.com)
Date: Mon Oct 29 12:45:13 EDT 2012

Can type information from Typed Racket be used for runtime type
optimization.

-- 
With best regards,
Dmitry

Posted on the dev mailing list.