Relational Solver for Java Generics Type System.

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev

Browse the full LOPSTR paper archive.