Nested Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Browse the full ESOP paper archive.