session-typed-worker
Version:
A deadlock-free communication API for web workers based on (a subset of) session types.
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 862 B | |||
| 344 B | |||
A deadlock-free communication API for web workers based on (a subset of) session types.
| Filename | Content Type | Size | |
|---|---|---|---|
| ../ | |||
| 862 B | |||
| 344 B | |||