Beyond Types: Extending the Gradual Guarantee (STOP 2016)

Blogs (28) >>

Sun 17 - Fri 22 July 2016 Rome, Italy

Who

James Noble, Michael Homer, Timothy Jones, Sophia Drossopoulou, Andrew Black, Kim Bruce

Track

STOP 2016

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 17 Jul 2016 10:55 - 11:25 at Alfieri - Session 2

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.

Link to Publication

http://homepages.ecs.vuw.ac.nz/~tim/publications/stop16-beyond-types.pdf

James Noble

Victoria University of Wellington

New Zealand

Michael Homer

Victoria University of Wellington

Timothy Jones

Victoria University of Wellington

New Zealand

Sophia Drossopoulou

Imperial College London

Andrew Black

Portland State University

United States

Kim Bruce

Pomona College

United States

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sun 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 12:25	Session 2STOP at Alfieri

10:05 50m Talk		Optional Typing in Dart: Purity and Practice STOP Gilad Bracha Google Pre-print
10:55 30m		Beyond Types: Extending the Gradual Guarantee STOP James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Andrew Black Portland State University, Kim Bruce Pomona College Link to publication
11:25 30m		Gradual Typing for Delimited Continuations STOP Yusuke Miyazaki Kyoto University, Taro Sekiyama , Atsushi Igarashi Kyoto University Link to publication
11:55 30m Talk		Automating Gradual Typing STOP Timothy Jones Victoria University of Wellington Link to publication File Attached