A versatile constraint-based type inference system (2000)

by F Pottier
Venue:Nordic Journal of Computing