Multiparty Session Types as Coherence Proofs (2015)

First Author: Carbone, M
Attributed to:  Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://drops.dagstuhl.de/opus/volltexte/2015/5366/

Type: Conference/Paper/Proceeding/Abstract

Volume: LIPIcs 42