What are principal typings and what are they good for (1996)

by T Jim
Venue:In Principles of Programming Languages