Gradual typing for functional languages (2006)

by J G Siek, W Taha
Venue:In Scheme and Functional Programming Workshop