126
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...