Cast insertion strategies for gradually-typed objects.

Esteban Allende, Johan Fabry, ric Tanter

Browse the full DLS paper archive.