Predicate dispatching: A unified theory of dispatch (Ernst et al., 1998)

Reference [4], cited as qualitatively different due to static type analysis reliance.