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.
Sun 17 Jul
|10:05 - 10:55|
|10:55 - 11:25|
James NobleVictoria University of Wellington, Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington, Sophia DrossopoulouImperial College London, Andrew BlackPortland State University, Kim BrucePomona CollegeLink to publication
|11:25 - 11:55||Link to publication|
|11:55 - 12:25|
Timothy JonesVictoria University of WellingtonLink to publication File Attached