1 paper
Zvonimir Pavlinovic, Tim King, Thomas Wies
Compilers for statically typed functional programming languages are notorious for generating confusing type error messages. When the compiler detects a type error, it typically rep…