Programming Languages Article
Credit: (C) Huw Evans
article:
Run-time Type Checks Are Harmful