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

Keigo Imai keigo.imai at gmail.com
Wed Jun 24 23:12:55 EDT 2009

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.

Any comments are much appreciated.

-  Keigo IMAI

More information about the Haskell-Cafe mailing list