Space-efficient gradual typing (2007)

by David Herman, Aaron Tomb, Cormac Flanagan
Venue:In Trends in Functional Programming (TFP