DisCoTec Tutorial

Tutorial from DisCoTec 2020 Tutorial Series

Part 1 - Overview of the [St]Mungo toolchain

The first segment goes through a simple example to give an overview of the stages of the [St]Mungo toolchain, starting from Scribble communication protocols, translating to Java classes with typestates, and finally to typechecking method calls with Mungo.

Part 2 - Typechecking with Mungo

The second segment is focused more on type checking with Mungo.

Part3 - HTTP Case Study The third and last segment of this tutorial looks at a more substantial example, HTTP, a standard internet protocol to show the use of session type tools to typecheck protocols.