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

  1. sill
    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