FYI,
I put up another example in the EFFECTIVATS series:
http://www.ats-lang.org/EXAMPLE/EFFECTIVATS/DiningPhil/
The implementation shows how to make use of shared memory (shm). Probably
more interestingly, the example demonstrates a very simple but still
convincing
use of linear types for tracking resources.
Cheers!
–Hongwei