Session types in action

[gmhwxi]

I would like to put a few simple examples I did in class that involve the use
of session types:

http://www.cs.bu.edu/~hwxi/academic/courses/CS520/Fall15/code/lecture-11-11/Worker/
http://www.cs.bu.edu/~hwxi/academic/courses/CS520/Fall15/code/lecture-11-11/Worker/test3_client.html

You need Chrome or Safari to try these examples; Firefox's implementation of WebWorker seems buggy
(as messages are not delivered in order).

I will try to find time to write an article on session types, which I think are SO useful in constructing distributed
systems.

Cheers!