The type inference and coercion facilities in the Scratchpad II interpreterRobert S. SutorRichard D. Jenks1987Symposium on Interpreters and Interpretive Techniques 1987
The Type Inference and Coercion Facilities in the Scratchpad II InterpreterRobert SutorRichard D. Jenks1987ACM SIGPLAN Notices