The essence of principal typings (2002)

by J B Wells
Venue:In Proc. International Colloquium on Automata, Languages and Programming, volume 2380 of LNCS