Guy Steele: Types and Run-time Types

At their core, these two techniques are not the same thing at all: <a href="http://www.pphsg.org/cdsmith/types.html" rel="nofollow">http://www.pphsg.org/cdsmith/types.html</a>