A Bounded Polymorphic Session Type System with Delegation

DASC, pp. 516-520, 2013.

Cited by: 0|Views4
EI WOS

Abstract:

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

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments