Search results

atscntrb-hx-mysession-g

This package is for experimenting with MP session types

• ATS
• session
• multiparty
• session-types

npmhwxi

published 1.0.2 • 7 years agopublished 1.0.2 7 years ago

atscntrb-hx-mysession-2

This package is for experimenting with session types

• ATS
• session
• session-types

npmhwxi

published 1.0.1 • 7 years agopublished 1.0.1 7 years ago

session-typed-worker

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

• worker
• typescript
• session-types

ahuglajbclajep

published 1.0.3 • 5 years agopublished 1.0.3 5 years ago