Abstract is missing.
- Exploring an Interface Model for CKABernhard Möller, Tony Hoare. 1-29 [doi]
- On Rely-Guarantee ReasoningStephan van Staden. 30-49 [doi]
- A Relation-Algebraic Approach to Multirelations and Predicate TransformersRudolf Berghammer, Walter Guttmann. 50-70 [doi]
- Preference Decomposition and the Expressiveness of Preference Query LanguagesPatrick Roocks. 71-92 [doi]
- Hierarchy in Generic Programming LibrariesJosé Pedro Magalhães, Andres Löh. 93-112 [doi]
- Polynomial Functors Constrained by Regular ExpressionsDan Piponi, Brent A. Yorgey. 113-136 [doi]
- A Program Construction and Verification Tool for Separation LogicBrijesh Dongol, Victor B. F. Gomes, Georg Struth. 137-158 [doi]
- Calculating Certified Compilers for Non-deterministic LanguagesPatrick Bahr. 159-186 [doi]
- Notions of Bidirectional Computation and Entangled State MonadsFaris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens. 187-214 [doi]
- A Clear Picture of Lens Laws - Functional PearlSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. 215-223 [doi]
- Regular Varieties of Automata and CoequationsJ. Salamanca, Adolfo Ballester-Bolinches, Marcello M. Bonsangue, Enric Cosme-Llópez, Jan J. M. M. Rutten. 224-237 [doi]
- Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of SetsRudolf Berghammer. 238-256 [doi]
- Turing-Completeness Totally FreeConor McBride. 257-275 [doi]
- Auto in Agda - Programming Proof Search Using ReflectionPepijn Kokke, Wouter Swierstra. 276-301 [doi]
- Fusion for Free - Efficient Algebraic Effect HandlersNicolas Wu, Tom Schrijvers. 302-322 [doi]