1. Impressive type hackery. A Session Type is a specification that dictates how two parties should communicate with each other over a given channel. (Read Full Article)
   
   

   Related Articles

   • Mathematics and Computation " Seemingly impossible functional programs
   • also written by bos
   • Red Black Trees in Haskell
   • also written by bos
   • Well Quite - Shared Mutable Memory Must Die
   • also published in Well Quite
   • Fast and Loose Reasoning is Morally Correct - Danielsson, Hughes, Jansson, Gibbons (ResearchIndex)
   • also written by bos
   • Chasing Bottoms - A Case Study in Program Verification in the Presence of Partial and Infinite Values - Danielsson, Jansson (ResearchIndex)
   • also written by bos

   • Joy compared with other functional languages
   • also written by bos
   • Ulf Wiger " Functional Programming Seminar
   • also written by bos
   • Vectro: Haskell library for "statically typed linear algebra"
   • also written by bos
   • Session Types Tutorial, Part 1
   • also published in Well Quite
   • Clowns to the left of me, jokers to the right
   • also written by bos

Login to comment.