A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Journal of Software
Static-type systems are a major topic in programming language research and the software industry. Static-type systems should reduce the development time and increase the code quality. Additionally, they are predicted to decrease the number of defects in a piece of code due to early error detection. However, there are only a few empirical experiments on the possible benefits of the static-type system in programming activities. This paper describes an experiment that tests whether static-typedoi:10.17706/jsw.12.8.598-611 fatcat:l37pbffoxjeknmcgqumz4ihdg4