1 search result for "author:"Dennis Griffith <isanobody@gmail.com>""

Showing 1 - 1
  1. sill

    No documentation

    Implementation of Linear Session Types
    Dennis Griffith <isanobody@gmail.com> Frank Pfenning <fp@cs.cmu.edu>
    1.4
    GPL-3 with OCaml linking exception
    Used by 0 other packages
    05 May 2015