aMPL

The Categorical Message Passing Language is a typed functional-style concurrent language in which processes communicate by passing messages on channels.

The Semantics of CaMPL is based on the categorical theory of message passing.

Get Started

Why CaMPL ?

Concurrent Types

CaMPL has typed communication along channels: these concurrent types are called protocols.

Deadlocks and Livelocks

Pure CaMPL is deadlock and livelock free and guaranties progress.

Controlled Non-Determinism

CaMPL has races which allow non-deterministic concurrent behaviour.

Sequential Data

CaMPL has data and codata declarations.

Examples of CaMPL Programs Read Documents