Effective ATS:
Session-typed Channels:
A Brief Introduction