Assessing the type annotation burden

ASE, pp. 190-201, 2018.

Cited by: 5|Bibtex|Views6
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com|dl.acm.org

Abstract:

Type annotations provide a link between program variables and domain-specific types. When combined with a type system, these annotations can enable early fault detection. For type annotations to be cost-effective in practice, they need to be both accurate and affordable for developers. We lack, however, an understanding of how burdensome ...More

Code:

Data:

Your rating :
0

 

Tags
Comments