Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 10:55 - 11:25 at Alfieri - Session 2

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

STOP-2016
10:05 - 12:25: STOP - Session 2 at Alfieri
STOP-201610:05 - 10:55
Talk
Pre-print
STOP-201610: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 College
Link to publication
STOP-201611:25 - 11:55
Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University
Link to publication
STOP-201611:55 - 12:25
Talk
Timothy JonesVictoria University of Wellington
Link to publication File Attached