"Exploring the Design Space of Higher-Order Casts."

Jeremy G. Siek, Ronald Garcia, Walid Taha (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics