Space-efficient gradual typing (2007)

by D Herman, A Tomb, C Flanagan
Venue:Trends in Functional Programming