Coercion and type inference (1984)

by John C Mitchell
Venue:In POPL