The design and implementation of Typed Scheme. Mansuscript under submission (2009)

by Sam Tobin-Hochstadt, Matthias Felleisen