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

Install

github.com Edit opam file

Authors

  1. D
    Dennis Griffith <isanobody@gmail.com>
  2. F
    Frank Pfenning <fp@cs.cmu.edu>

Maintainers

  1. I
    isanobody@gmail.com

Sources

1.4.tar.gz
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)

  1. ocamlbuild build
  2. pa_monad_custom
  3. mparser >= "1.1"
  4. re
  5. sexplib < "113.01.00"
  6. ocamlfind
  7. core
  8. bin_prot < "113.01.00"
  9. base-unix
  10. base-threads
  11. ocaml >= "4.01.0"

Dev Dependencies

    None

Used by

    None

Conflicts

    None