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

Gradual typing has become a standard mechanism for both progressively adding types to dynamically typed languages and liberalising existing type systems, and recent developments have produced the Gradualizer and Abstracting Gradual Typing (AGT) for systematically lifting a typed language to a corresponding gradual language. AGT applies the principles of abstract interpretation to a languageā€™s underlying predicates and functions: we have used this technique to build a library in the dependently typed language Agda for automatically generating different type systems over the same language of terms. Our mechanisation takes an abstract description of a type system indexed by a functor and then generates a variety of different type systems, including gradual typing.

Automating Gradual Typing Slides (stop16-automating-gradual-typing-slides.pdf)75KiB

Programming languages PhD student at VUW working on Grace.

Conference Day
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 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
11:25
30m
Gradual Typing for Delimited Continuations
STOP
Yusuke MiyazakiKyoto University, Taro Sekiyama, Atsushi IgarashiKyoto University
Link to publication
11:55
30m
Talk
Automating Gradual Typing
STOP
Timothy JonesVictoria University of Wellington
Link to publication File Attached