Guy Steele: Types and Run-time Types (projectfortress.sun.com)

At their core, these two techniques are not the same thing at all: http://www.pphsg.org/cdsmith/types.html