Types for Deadlock-Free Higher-Order Programs. - Luca Padovani; Luca Novara (FORTE, 2015)