Abstract | ||
---|---|---|
The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper presents a uniform semantic framework that explains all three approaches, illustrates how each approach affects a developer's work, and adds a systematic performance comparison for a single implementation platform.
|
Year | DOI | Venue |
---|---|---|
2018 | 10.1145/3236766 | Proceedings of the ACM on Programming Languages |
Keywords | Field | DocType |
D-deliverable,migratory typing,performance evaluation,type soundness | Programming language,Computer science,Soundness,Gradual typing | Journal |
Volume | Issue | ISSN |
2 | ICFP | 2475-1421 |
Citations | PageRank | References |
0 | 0.34 | 42 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ben Greenman | 1 | 33 | 3.78 |
Matthias Felleisen | 2 | 3001 | 272.57 |