Two extensions of Curry's type inference system (1990)

by F Cardone, M Coppo
Venue:Logic and Computer Science