Exploring the design space of higherorder casts (2009)

by J G Siek, R Garcia, W Taha
Venue:In Proc. of ESOP