Title | Citations | PageRank | Year |
---|---|---|---|
Nested Session Types. | 0 | 0.34 | 2021 |
Semi-Axiomatic Sequent Calculus. | 0 | 0.34 | 2020 |
A Message-Passing Interpretation of Adjoint Logic. | 0 | 0.34 | 2019 |
Manifest Deadlock-Freedom for Shared Session Types. | 0 | 0.34 | 2019 |
Session-Typed Concurrent Contracts. | 0 | 0.34 | 2018 |