Varun Ramesh's Blog
#type-systems
Unifying Dynamic Type Tests and Type Refinement
September 3rd
Some typecheckers understand dynamic type tests, thus avoiding downcasting.