Improving type error messages for generic Java (2011)

by N Boustani, J Hage
Venue:Higher-Order and Symbolic Computation