Session Types for Functional Multithreading.

Vasco Thudichum Vasconcelos, Antnio Ravara, Simon J. Gay

Browse the full CONCUR paper archive.