Higher-Ranked Annotation Polymorphic Dependency Analysis. - Fabian Thorand; Jurriaan Hage (ESOP, 2020)