Session-Typed Concurrent Contracts.

Hannah Gommerstadt, Limin Jia, Frank Pfenning

Browse the full ESOP paper archive.