A Bounded Polymorphic Session Type System with Delegation
DASC, pp. 516-520, 2013.
Two notions of subtyping and bounded polymorphism have been proposed to increase the expressiveness of session types. In this paper, we propose a new bounded polymorphic type system in which we incorporate the two notions and add delegation to the typing rules. As a result, this system not only can support more flexible specification prot...More
Full Text (Upload PDF)
PPT (Upload PPT)