Preface R. Heckel and S. Milius | ||
An Effect System for Algebraic Effects and Handlers | ||
Andrej Bauer and Matija Pretnar | ||
Positive Inductive-Recursive Definitions | ||
Neil Ghani, Fredrik Nordvall Forsberg and Lorenzo Malatesta | ||
Bialgebraic Semantics for Logic Programming | ||
Filippo Bonchi and Fabio Zanasi | ||
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality | ||
Robert W. J. Furber and Bart P. F. Jacobs | ||
Presenting Distributive Laws | ||
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz and Jurriaan Rot | ||
Service-Oriented Logic Programming | ||
Ionut Tutu and Jose Luiz Fiadeiro | ||
Positive fragments of coalgebraic logics | ||
Adriana Balan, Alexander Kurz and Jiří Velebil | ||