GitHub - Munksgaard/session-types - discu.eu

Hacker News

Session Types for Rust https://github.com/Munksgaard/session-types 49 comments 3/3/2019

Linking pages

Typestates in Rust https://yoric.github.io/post/rust-typestate/ 112 comments
GitHub - willcrichton/tyrade: A pure functional language for type-level programming in Rust https://github.com/willcrichton/tyrade 13 comments
Session types in programming languages---a collection of implementations. | Simon Fowler http://simonjf.com/2016/05/28/session-type-implementations.html 9 comments

Linked pages

http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf 0 comments

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - Munksgaard/session-types

See how to search.

Submit link to: