Search results

atscntrb-hx-mysession-g

This package is for experimenting with MP session types

• ATS
• session
• multiparty
• session-types

npmhwxi

• 1.0.2 • 8 years ago • 0 dependents • MITpublished version 1.0.2, 8 years ago0 dependents licensed under $MIT

session-typed-worker

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

• worker
• typescript
• session-types

ahuglajbclajep

• 1.0.3 • 6 years ago • 0 dependents • MITpublished version 1.0.3, 6 years ago0 dependents licensed under $MIT

atscntrb-hx-mysession-2

This package is for experimenting with session types

• ATS
• session
• session-types

npmhwxi

• 1.0.1 • 8 years ago • 0 dependents • MITpublished version 1.0.1, 8 years ago0 dependents licensed under $MIT