A Bounded Polymorphic Session Type System with Delegation.

Tiantian Song, Farong Zhong

Browse the full DASC paper archive.