Session Types In Haskell
Room: BBL room 471
Speaker: Sebastiaan Visser
Title: Session Types in Haskell
Most approaches to channel based communication in strongly typed programming languages suffer from the lack of flexibility or type safety. Session types can be used to give flexible strong types to communication channels and can act like a protocol specification. This talk will demonstrate how session types can be implemented in Haskell and show how they can increase type safety of your program without loosing flexibility.
- 13 Jan 2009