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. BrucePublished in
Script To Program Evolution Workshop (STOP), 2016Resources
- Author copy (PDF)
- mwh.nz/pdf/stop2016
- this page
- mwh.nz/pubs/stop2016