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 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 30mTalk | Towards Practical Gradual Typing Research Track Asumu Takikawa Northeastern University, Daniel Feltey Northeastern University, Earl Dean Indiana University, Robert Bruce Findler Northwestern University, Matthew Flatt University of Utah, Sam Tobin-Hochstadt Indiana University, Matthias Felleisen Northeastern University | ||
11:00 30mTalk | TreatJS: Higher-Order Contracts for JavaScripts Research Track Media Attached | ||
11:30 30mTalk | Trust, but Verify: Two-Phase Typing for Dynamic Languages Research Track Panagiotis Vekris University of California, San Diego, Benjamin Cosman University of California, San Diego, Ranjit Jhala University of California, San Diego | ||