Coercion and type inference (summary (1984)

by J Mitchell
Venue:In Eleventh Annual ACM Symposium on Principles of Programming Languages