Here's an interesting extension to the language to allow for session-typed concurrency. [0]: http://mwillsey.com/papers/cc0-thesis.pdf http://mwillsey.com/pape

Here's an interesting extension to the language to allow for session-typed concurrency. [0]: http://mwillsey.com/papers/cc0-thesis.pdf http://mwillsey.com/papers/cc0-thesis.pdf