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.

Wed 8 Jul

research-track
10:30 - 12:00: Research Track - Gradual Typing at Bohemia
Chair(s): John BoylandUniversity of Wisconsin, Milwaukee
research-track143634420000010:30 - 11:00
Talk
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Earl DeanIndiana University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Sam Tobin-HochstadtIndiana University, Matthias FelleisenNortheastern University
research-track143634600000011:00 - 11:30
Talk
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
Media Attached
research-track143634780000011:30 - 12:00
Talk
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego