Capability-Based Type Systems for Concurrency Control [pdf] | Hacker News Reader