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