Confined gradual typing.

Esteban Allende, Johan Fabry, Ronald Garcia, ric Tanter

Browse the full OOPSLA paper archive.