Monitors and Blame Assignment for Higher-Order Session Types
Channel: Ras Bodik
Date: 2016-04-05

Limin Jia, Hannah Gommerstadt, Frank Pfenning