Session types in practical programming
Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specifications and verifications of concurrency. Recent advances in type systems allow us to specify the struc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/37059 |