Monitors and blame assignment for higher-order session types.

Limin Jia, Hannah Gommerstadt, Frank Pfenning

Browse the full POPL paper archive.