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.