Ross Tate: Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics. Proc. ACM Program. Lang. 9(OOPSLA2): 3784-3810 (2025)