Bismuth

A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.