Consistency Types for Safe and Efficient Distributed Programming.

Alessandro Margara, Guido Salvaneschi

Browse the full ECOOP paper archive.