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

We report our ongoing work on gradual typing for a language with delimited-control operators, shift and reset, which are known to be very powerful constructs. We base our gradual type system on the simple type system with so-called answer-type modification proposed by Danvy and Filinski. We introduce the type dynamic (written *), define the type consistency relation, modify the typing rules by using the type consistency relation, and give translation to insert explicit casts. The way we modify the typing rules is very similar to the Gradualizer but it turns out that the Gradualizer is not directly applicable for generation of rules of cast insertion translation. We also discuss the properties of the obtained gradually typed language according to Siek et al.’s criteria for gradually typed languages.

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
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