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
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
