| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) | Dezani, Mariangiola et al. | 2022 |
| 2 | Scalable Handling of Effects (Dagstuhl Seminar 21292) | Ahman, Danel et al. | 2021 |
| 3 | Separating Sessions Smoothly | Fowler, Simon et al. | 2021 |
| 4 | Continuation Passing Style for Effect Handlers | Hillerström, Daniel et al. | 2017 |
| 5 | Mixing Metaphors: Actors as Channels and Channels as Actors | Fowler, Simon et al. | 2017 |
| 6 | Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types | Carbone, Marco et al. | 2016 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |