Roast topics
Find topics
Find it!
Roast topics
Find topics
Roast it!
Unifying Dynamic Type Tests and Type Refinement - Varun Ramesh's Blog
Some typecheckers understand dynamic type tests, thus avoiding downcasting.
| Varun Ramesh's Blog
