Type inference and logical relations

Mario Coppo, Maddalena Zacchi

Browse the full LICS paper archive.