package sill

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of Linear Session Types

Install

github.com Edit opam file

Authors

Maintainers

I

isanobody@gmail.com

Sources

md5=805f8c6f72cc1054d2777152a700a144

Description

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

Published: 05 May 2015

Dependencies (11)

ocamlbuild build
pa_monad_custom
mparser >= "1.1"
re
sexplib < "113.01.00"
ocamlfind
core
bin_prot < "113.01.00"
base-unix
base-threads
ocaml >= "4.01.0"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (11)
Dev Dependencies
Used by
Conflicts