Effective ATS:
Session-typed Channels:
A Brief Introduction

• main.html
• Makefile
• multest.html
• multest_prtcl.sats
• multest_client.dats
• multest_server.dats
• introxmpl1.html
• introxmpl1_prtcl.sats
• introxmpl1_client.dats
• introxmpl1_server.dats