5 citations · 5 across the 1 of their papers we have counts for
1 paper
Yuki Ishii, Kenichi Asai
A type debugger interactively detects the expressions that cause type errors. It asks users whether they intend the types of identifiers to be those that the compiler inferred. How…