Exploring the Design Space of Higher-Order Casts.

Jeremy G. Siek, Ronald Garcia, Walid Taha

Browse the full ESOP paper archive.