1 paper
Max Kopinsky, Brigitte Pientka, Xujie Si
Traditional implementations of strongly-typed functional programming languages often miss the root cause of type errors. As a consequence, type error messages are often misleading…