A versatile constraint-based type inference system (2000)

by François Pottier
Venue:Nordic Journal of Computing