Talk: (English)

Types for Protocols

Types are the single most widely used formal method. Using types is a success story that avoids millions of bugs every day. But most uses of types are restricted to static APIs.

This presentation introduces session types, which extend the compile-time guarantees of types to protocols: a program that checks against a session type cannot violate the protocol described by the type. We demonstrate session types with an example and give an overview over features of existing and future systems.

Peter Thiemann

@pthie

Peter Thiemann is a professor for Computer Science at the University of Freiburg where he heads the research group for programming languages. He is one the leading experts on functional programming, partial evaluation, domain-specific languages, and many other areas of software engineering. His current research is on static and dynamic analysis of JavaScript.

Slides
peter-thiemann.pdf
Video
http://youtu.be/weOaECxYX6o