A versatile constraint-based type inference system (0)

by F Pottier
Venue:Nordic Journal of Computing