# Design and Implementation of Concurrent C0

## TL;DR

Concurrent C0 is a type-safe, C-like language with session-typed communication and forwarding, enabling efficient concurrent programming with a Go-based implementation that outperforms traditional message passing.

## Contribution

This paper introduces Concurrent C0, a novel language combining session types, forwarding, and type safety, with an optimized Go implementation.

## Key findings

- Outperforms traditional message passing techniques
- Supports session-typed communication with forwarding
- Provides a type-safe, concurrent programming model

## Abstract

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.