Explore dynamic dispatch and type inference in Fortress programming language through this 27-minute Java conference talk. Delve into the differences between Java and Fortress dispatch, generic overloading uses, and the quick type system. Learn about self-less generic types, trait CMPable[+], and how to test applicability. Understand constraint propagation, Least Single Upper Bound, and run-time type operations. Examine a worked example and discuss JVM issues, including the current implementation's use of applicative caches. Gain insights into the Longest Erased Path to Any concept and its implications for Java developers.