Como os tipos de sessão transformam deadlocks em erros de compiler
Tipos de sessão codificam protocols de comunicação no seu sistema de tipos, transformando incompatibilidades de passagem de mensagens em erros de compiler antes que seu código execute.
