Showing cs.HCShow all
2 papers · 1 filter
cs.HC2024
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
Shuai Fu, Tim Dwyer, Peter J. Stuckey +1
Statically typed languages offer significant advantages, such as bug prevention, enhanced code quality, and reduced maintenance costs. However, these benefits often come at the exp…
cs.HC2023
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration
Shuai Fu, Tim Dwyer, Peter J. Stuckey +2
Dynamically typed programming languages are popular in education and the software industry. While presenting a low barrier to entry, they suffer from run-time type errors and longe…