[Haskell-cafe] [ANN] full-sessions: yet another implementation of session types

[Keigo Imai]

Hello haskell-cafe,

I would like to announce the pre-release of  full-sessions,
yet another implementation of session types in Haskell.

Session types are used to statically check the safe and
consistent use of communication channels
according to protocols.

Our work is quite similar to the Session monad in Haskell'08
paper of Pucella and Tov, however, a notable advantage of
our implementation is that it requires almost no type
annotation or term annotation in a source code,
and at the same time provides full functionality of
session types including channel-generation
and channel-passing.

It can be obtained from the website. A few examples
are also provided.
http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/full-sessions.html

Any comments are much appreciated.

Cheers,
-  Keigo IMAI