Modular session types for distributed object-oriented programming.

Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira

Browse the full POPL paper archive.