Two Mechanisms for Dynamic Type Checks
Summary
This post discusses two strategies for runtime type checks in VMs with single inheritance: DFS numbering for fixed type sets and the display hack for unbounded type sets. It includes step-by-step outlines, compile-time embedding of tags, and references to Cohen's 1991 work and follow-ups, with historical notes on terminology.