Types for Deadlock-Free Higher-Order Programs.

Luca Padovani, Luca Novara

Browse the full FORTE paper archive.