Kai's presentation on new languages for protocol implementation.

[Christopher R. Hertel]

Microsoft has a new language out, awkwardly named P.  It is aimed at
protocol implementation:
https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/

Chris -)-----