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…