Beyond Types: Extending the Gradual Guarantee

Abstract

The gradual guarantee lets us understand gradual typing: a system is gradually typed if removing a type annotation cannot change the semantics of a correct program. We extend the gradual guarantee beyond types: privacy annotations or inheritance restrictions, for example, may be gradual if changing them does not change the semantics of a correct program.

Authors

James Noble, Michael Homer, Timothy Jones, Sophia Drossopolou, Andrew P. Black, Kim B. Bruce

Published in

Script To Program Evolution Workshop (STOP), 2016
Michael Homer — 2018