package sill

  1. Overview
  2. No Docs
Implementation of Linear Session Types

Install

Dune Dependency

Authors

Maintainers

Sources

v1.3.1.tar.gz
sha256=280c8caf35ef05cb2ce22ce381e7743f1491875cbe3236820f3d37eb9bb14c1c
md5=ef33ca00b0eb6b1fa48e8e03ce0c79da

Description

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

Published: 10 Apr 2015

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.