sill

Implementation of Linear Session Types
Description

A prototype language focused on organizing concurrent programs via communication along substructurally typed channels between processes.