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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | report |
| Idioma: | por |
| Publicado em: |
2009
|
| Texto completo: | http://hdl.handle.net/10451/14108 |
| País: | Portugal |
| Oai: | oai:repositorio.ul.pt:10451/14108 |