Predicate dispatch is an object-oriented (OO) language mechanism for determining the
method implementation to be invoked upon a message send. With predicate dispatch, each …

Multiple dispatch generalizes the receiver-oriented dynamic dispatch of traditional object-
oriented (OO) languages by allowing the run-time classes of all arguments to be employed …