"Bidirectional data-flow analyses, type-systematically."

Maria João Frade, Ando Saabas, Tarmo Uustalu (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics