Hacker News
- Session types in programming languages (2016) http://simonjf.com/2016/05/28/session-type-implementations.html 9 comments
Linking pages
Linked pages
- ATS-PL-SYS http://www.ats-lang.org/ 176 comments
- GitHub - Munksgaard/session-types https://github.com/Munksgaard/session-types 49 comments
- https://www.doc.ic.ac.uk/~cn06/pub/2012/sessionc/ 6 comments
- [1603.03727] Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus http://arxiv.org/abs/1603.03727 1 comment
- Scribble http://www.scribble.org/ 0 comments
- http://munksgaard.me/laumann-munksgaard-larsen.pdf 0 comments
Related searches:
Search whole site: site:simonjf.com
Search title: Session types in programming languages---a collection of implementations. | Simon Fowler
See how to search.