Explore the Dependent Object Types calculus, a type-theoretic foundation for Scala 3, unifying type members and simplifying type computations.
Black Hat Europe 2024