Comment les types de session transforment les deadlocks en erreurs de compilation
Les types de session encodent les protocoles de communication dans votre système de types, transformant les inadéquations de passage de messages en erreurs de compilation avant que votre code ne s'exécute.
