Soft typing by Robert Cartwright and Mike Fagan

This paper from 1991 introduces an approach for runtime type checking and type coercion. It is relevant because this approach is being considered for addition into Ruby 3.0.

This paper will be discussed at PWL Berlin.