Types and Subtypes for Client-Server Interactions.

Simon J. Gay, Malcolm Hole

Browse the full ESOP paper archive.