Haskell session types with (almost) no class Export

@inproceedings{citeulike:3361755, abstract = {We describe an implementation of session types in Haskell. Session types statically enforce that client-server communication proceeds according to protocols. They have been added to several concurrent calculi, but few implementations of session types are available.}, address = {New York, NY, USA}, author = {Pucella, Riccardo and Tov, Jesse A.}, booktitle = {Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell}, citeulike-article-id = {3361755}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1411286.1411290}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1411286.1411290}, doi = {10.1145/1411286.1411290}, isbn = {978-1-60558-064-7}, keywords = {distributed-systems, language-haskell, session-types, type, type-classes}, location = {Victoria, BC, Canada}, pages = {25--36}, posted-at = {2009-06-25 19:42:24}, priority = {2}, publisher = {ACM}, title = {Haskell session types with (almost) no class}, url = {http://dx.doi.org/10.1145/1411286.1411290}, year = {2008} }

TY - CONF ID - citeulike:3361755 L3 - citeulike-article-id:3361755 N2 - We describe an implementation of session types in Haskell. Session types statically enforce that client-server communication proceeds according to protocols. They have been added to several concurrent calculi, but few implementations of session types are available. CY - Victoria, BC, Canada SN - 978-1-60558-064-7 AD - New York, NY, USA EP - 36 TI - Haskell session types with (almost) no class PB - ACM T2 - Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell SP - 25 KW - distributed-systems KW - language-haskell KW - session-types KW - type KW - type-classes AU - Pucella, Riccardo AU - Tov, Jesse PY - 2008/// UR - http://dx.doi.org/10.1145/1411286.1411290 ER -