Creative Commons
| Preface L. Ong | ||
| Reachability Analysis of Communicating Pushdown Systems | ||
| Alexander Heußner, Jérôme Leroux, Anca Muscholl and Grégoire Sutre | ||
| Degrees of Lookahead in Regular Infinite Games | ||
| Michael Holtmann, Lukasz Kaiser and Wolfgang Thomas | ||
| Linear-use CPS translations in the Enriched Effect Calculus | ||
| Jeff Egger, Rasmus Ejle Møgelberg and Alex Simpson | ||
| Parameterised Multiparty Session Types | ||
| Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri and Raymond Hu | ||
| Abstract GSOS Rules and a Modular Treatment of Recursive Definitions | ||
| Stefan Milius, Lawrence S. Moss and Daniel Schwencke | ||
| Monads need not be endofunctors | ||
| Thosten Altenkirch, James Chapman and Tarmo Uustalu | ||