sill

Implementation of Linear Session Types
Description

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

Install
Published
05 May 2015
Sources
1.4.tar.gz
md5=805f8c6f72cc1054d2777152a700a144
Dependencies
Reverse Dependencies