Coercion and type inference (1984)

by J C Mitchell
Venue:in ‘Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages’, ACM