Abstract is missing.
- Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOLMakoto Hamana. 3-9 [doi]
- The Bang Calculus RevisitedAntonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso. 13-32 [doi]
- Functional Pearl: The Distributive λ-CalculusBeniamino Accattoli, Alejandro Díaz-Caro. 33-49 [doi]
- Polynomial Time over the Reals with ParsimonyEmmanuel Hainry, Damiano Mazza, Romain Péchoux. 50-65 [doi]
- Session Types Without Sophistry - System DescriptionOleg Kiselyov, Keigo Imai. 66-87 [doi]
- Restriction on Cut in Cyclic Proof System for Symbolic HeapsKenji Saotome, Koji Nakazawa, Daisuke Kimura. 88-105 [doi]
- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented ProgrammingMatteo Cimini. 106-123 [doi]
- Declarative Pearl: Deriving Monadic QuicksortShin-Cheng Mu, Tsung-Ju Chiang. 124-138 [doi]
- Language-Integrated Query with Nested Data Structures and GroupingRui Okura, Yukiyoshi Kameyama. 139-158 [doi]
- An Efficient Composition of Bidirectional Programs by Memoization and Lazy UpdateKanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu. 159-178 [doi]
- Implementing, and Keeping in Check, a DSL Used in E-LearningOliver Westphal, Janis Voigtländer. 179-197 [doi]
- System Description: Lang-n-Change - A Tool for Transforming LanguagesBenjamin Mourad, Matteo Cimini. 198-214 [doi]
- An SMT-Based Concolic Testing Tool for Logic ProgramsSophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal. 215-219 [doi]