Exploring the design space of higher-order casts (2009)

by Jeremy G Siek, Ronald Garcia, Walid Taha
Venue:In European Symposium on Programming