Skip to content

dcastrop/mpst-cost

Repository files navigation

deep-sessions

Deep embedded multiparty session types.

About

Deep Embedding Multiparty Session Types

Resources

License

Stars

Watchers

Forks

Packages

No packages published