Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems
Session primitives and types provide a flexible programming style for structural interaction, and are used to statically check the safe and consistent composition of protocols in communication-centric distributed software. Unfortunately authors working on session types have recently realised that so...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | report |
| Language: | por |
| Published: |
2009
|
| Online Access: | http://hdl.handle.net/10451/14108 |
| Country: | Portugal |
| Oai: | oai:repositorio.ul.pt:10451/14108 |