Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: Keigo Imai <keigo.imai <at> gmail.com>
Subject: [ANN] full-sessions: yet another implementation of session types
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Thursday 25th June 2009 03:12:55 UTC (over 8 years ago)
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
 
CD: 3ms