ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, 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.