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

Robert S. Sutor, Richard D. Jenks

Browse the full PLDI paper archive.