full-sessions : yet another implementation of session types in Haskell by Keigo IMAI @ Nagoya University if you find any bugs please send an email to the above address. any other comments are also appreciated. download (rev. 181, June 25, 2009) for GHC 6.8 or above feature full functionality of session types (types for communication protocols over channels) including branching recursion (bas
