Session Types In Haskell

Date: 2009-01-22

Time: 11:45

Room: BBL room 471

Speaker: Sebastiaan Visser

Title: Session Types in Haskell

Abstract

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.

-- SebastiaanVisser - 13 Jan 2009

• download slides