Typing Copyless Message Passing. - Viviana Bono; Chiara Messa; Luca Padovani (ESOP, 2011)