Type Assignment in Programming Languages (1984)

by L M M Damas