2017/01/18 by Max Willsey, Rokhini Prabhu, Frank Pfenning
Computer Science · #cs.PL
paper · pdf · doi:10.4204/eptcs.238.8
published as EPTCS 238, 2017, pp. 73-82 · In Proceedings LINEARITY 2016, arXiv:1701.04522. Extended version at: http://mwillsey.com/papers/cc0-thesis.pdf
arxiv created 2017/01/18 · arxiv updated 2017/01/19
We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which allows channels to be combined in a well-defined way. The language's type system enables elegant expression of session types and message-passing concurrent programs. We provide a Go-based implementation with language based optimizations that outperforms traditional message passing techniques.