deadlocks

Wie Session Types Deadlocks in Compiler-Fehler verwandeln

Session Types kodieren Kommunikationsprotokolle im Typsystem und verwandeln Message-Passing-Mismatches in Compiler-Fehler, bevor der Code jemals läuft.