The type inference and coercion facilities in the scratchpad II interpreter.

Robert S. Sutor Richard D. Jenks The type inference and coercion facilities in the scratchpad II interpreter. 56-63 1987 conf/pldi/1987 PLDI http://doi.acm.org/10.1145/29650.29656 db/conf/pldi/pldi1987.html#SutorJ87