Incremental algorithms for dispatching in dynamically typed languages