R Milner [1982], "Principal type schemes for functional programs (0)

by LMM Damas
Venue:in POPL