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. |
Year | Venue | Field |
---|---|---|
2015 | ECOOP | Programming language,Object-oriented programming,Computer science,Gradual typing |
DocType | Citations | PageRank |
Conference | 8 | 0.49 |
References | Authors | |
16 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Asumu Takikawa | 1 | 44 | 3.19 |
Daniel Feltey | 2 | 8 | 0.83 |
Earl Dean | 3 | 8 | 0.49 |
Matthew Flatt | 4 | 1030 | 85.48 |
Robert Bruce Findler | 5 | 904 | 67.67 |
Sam Tobin-Hochstadt | 6 | 391 | 24.82 |
Matthias Felleisen | 7 | 3001 | 272.57 |