Type assignment in Programming Languages (1985)

by L M M Damas