Cómo los tipos de sesión convierten los deadlocks en errores del compiler
Los tipos de sesión codifican protocols de comunicación en tu sistema de tipos, convirtiendo los desajustes de paso de mensajes en errores del compiler antes de que tu código se ejecute.
