@inproceedings{BeyondTypes-Noble2016,
    title = {Beyond Types: Extending the Gradual Guarantee},
    booktitle = {Script To Program Evolution Workshop},
    year = 2016,
    url = "https://michael.homer.nz/Publications/STOP2016/BeyondTypes-Noble2016.pdf",
    author = {Noble, James and Homer, Michael and Jones, Timothy and Drossopolou, Sophia and Black, Andrew P. and Bruce, Kim B.},
    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.
    }
}