Abstract
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.
| Original language | English (US) |
|---|---|
| Title of host publication | 29th European Conference on Object-Oriented Programming, ECOOP 2015 |
| Editors | John Tang Boyland |
| Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
| Pages | 4-27 |
| Number of pages | 24 |
| ISBN (Electronic) | 9783939897866 |
| DOIs | |
| State | Published - Jul 1 2015 |
| Event | 29th European Conference on Object-Oriented Programming, ECOOP 2015 - Prague, Czech Republic Duration: Jul 5 2015 → Jul 10 2015 |
Publication series
| Name | Leibniz International Proceedings in Informatics, LIPIcs |
|---|---|
| Volume | 37 |
| ISSN (Print) | 1868-8969 |
Other
| Other | 29th European Conference on Object-Oriented Programming, ECOOP 2015 |
|---|---|
| Country/Territory | Czech Republic |
| City | Prague |
| Period | 7/5/15 → 7/10/15 |
Funding
The authors wish to thank Leif Andersen, Ben Greenman, and Vincent St-Amour for their comments on early drafts and for discussions about the research itself. We also thank the anonymous reviewers for their feedback. The work was partially supported by a DARPA grant at Northeastern and Utah, an NSA grant at Indiana, and several NSF grants at all four sites.
Keywords
- Gradual typing
- Object-oriented programming
- Performance evaluation
ASJC Scopus subject areas
- Software