A polymorphic type system with progress for binary sessions
WISM, pp. 451-461, 2012.
EI WOS SCOPUS
A static bounded polymorphic type system is presented in this paper, which ensures the progress property, i.e., the property that once a communication has been established, well-formed programs will never starve at communication points. The introduction of subtyping for session types and the relaxed duality relation increases the flexibil...更多
下载 PDF 全文 (上传PDF)