| No. |
Title |
Author |
Year |
| 1 |
Component-based Programming under Different Paradigms (Dagstuhl Seminar 99081) |
Wadler, Philip et al. |
2021 |
| 2 |
High-Level Concurrent Languages (Dagstuhl Seminar 97041) |
Honda, Kohei et al. |
2021 |
| 3 |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript |
Williams, Jack et al. |
2017 |
| 4 |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact) |
Williams, Jack et al. |
2017 |
| 5 |
Mixing Metaphors: Actors as Channels and Channels as Actors |
Fowler, Simon et al. |
2017 |
| 6 |
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) |
Gay, Simon et al. |
2017 |
| 7 |
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types |
Carbone, Marco et al. |
2016 |
| 8 |
A Complement to Blame |
Wadler, Philip |
2015 |
| 9 |
You and Your Research and the Elements of Style |
Wadler, Philip |
2014 |
| 10 |
07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
| 11 |
07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
| 12 |
07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services |
Hull, Richard et al. |
2007 |
