1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
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…