ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Wed 8 Jul 2015 10:30 - 11:00 at Bohemia - Gradual Typing Chair(s): John Boyland

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an implementation of a gradual type system for a full-featured class-based language as well as a novel performance evaluation framework for gradual typing.

Conference Day
Wed 8 Jul

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

10:30 - 12:00
Gradual TypingResearch Track at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
10:30
30m
Talk
Towards Practical Gradual Typing
Research Track
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Earl DeanIndiana University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Sam Tobin-HochstadtIndiana University, Matthias FelleisenNortheastern University
11:00
30m
Talk
TreatJS: Higher-Order Contracts for JavaScripts
Research Track
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
Media Attached
11:30
30m
Talk
Trust, but Verify: Two-Phase Typing for Dynamic Languages
Research Track
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego