Robert S. Sutor, Richard D. Jenks. The type inference and coercion facilities in the scratchpad II interpreter. In Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987. pages 56-63, ACM, 1987. [doi]
Abstract is missing.