Bidirectional data-flow analyses, type-systematically.

Maria Joo Frade, Ando Saabas, Tarmo Uustalu

Browse the full PEPM paper archive.