[1603.03727] Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus - discu.eu

Linking pages

Session types in programming languages---a collection of implementations. | Simon Fowler http://simonjf.com/2016/05/28/session-type-implementations.html 9 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1603.03727] Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus

See how to search.

Submit link to: