Abstract | ||
---|---|---|
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexpected interplay between evaluation and communication. |
Year | DOI | Venue |
---|---|---|
2016 | 10.23638/LMCS-13(2:9)2017 | LOGICAL METHODS IN COMPUTER SCIENCE |
Keywords | DocType | Volume |
Session types,the pi-calculus,Infinite data,Type safety | Journal | 13 |
Issue | ISSN | Citations |
2 | 1860-5974 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paula Severi | 1 | 122 | 16.19 |
Luca Padovani | 2 | 592 | 43.43 |
Emilio Tuosto | 3 | 499 | 42.62 |
Mariangiola Dezani-Ciancaglini | 4 | 1615 | 193.57 |