Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter. Confined gradual typing. In Andrew P. Black, Todd D. Millstein, editors, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. pages 251-270, ACM, 2014. [doi]
Abstract is missing.