Coercion and type inference (summary (1984)

by John C Mitchell
Venue:In Eleventh ACM Symposium on Principles of Programming Languages