session-typed-worker

A deadlock-free communication API for web workers based on (a subset of) session types.