Relational Solver for Java Generics Type System

Relational Solver for Java Generics Type System

Explore a 22-minute conference talk presented at LOPSTR23 that delves into the development of a relational solver for the Java Generics Type System. Learn about the innovative approach taken by researchers Petr Lozov, Dmitry Kosarev, Dmitry Ivanov, and Dmitri Boulytchev to address the complexities of Java's generic programming paradigm. Gain insights into how relational solving techniques can be applied to enhance type checking and inference in Java, potentially improving code reliability and developer productivity.