5 citations · 5 across the 1 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…