Inferring types in Smalltalk

Norihisa Suzuki
1981 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81  
We thus concluded that wc need to introduc~"types"
doi:10.1145/567532.567553 dblp:conf/popl/Suzuki81 fatcat:effhhwhs2fbxtpmqt44lct7hji