| 2020 | System Description: Lang-n-Change - A Tool for Transforming Languages. | Benjamin Mourad, Matteo Cimini |
| 2020 | Session Types Without Sophistry - System Description. | Oleg Kiselyov, Keigo Imai |
| 2020 | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL. | Makoto Hamana |
| 2020 | Polynomial Time over the Reals with Parsimony. | Emmanuel Hainry, Damiano Mazza, Romain Pchoux |
| 2020 | An SMT-Based Concolic Testing Tool for Logic Programs. | Sophie Fortz, Fred Mesnard, tienne Payet, Gilles Perrouin, Wim Vanhoof, Germn Vidal |
| 2020 | On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. | Matteo Cimini |
| 2020 | The Bang Calculus Revisited. | Antonio Bucciarelli, Delia Kesner, Alejandro Ros, Andrs Viso |
| 2020 | Functional Pearl: The Distributive λ-Calculus. | Beniamino Accattoli, Alejandro Daz-Caro |
| 2018 | Cheap Remarks About Concurrent Programs. | Michael Walker, Colin Runciman |
| 2018 | A Common Framework Using Expected Types for Several Type Debugging Approaches. | Kanae Tsushima, Olaf Chitil |
| 2018 | Program Extraction for Mutable Arrays. | Kazuhiko Sakaguchi |
| 2018 | Model Checking Parameterized by the Semantics in Maude. | Adrin Riesco |
| 2018 | Automated Amortised Resource Analysis for Term Rewrite Systems. | Georg Moser, Manuel Schneckenreither |
| 2018 | Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
| 2018 | Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. | Masayuki Mizuno, Eijiro Sumii |
| 2018 | Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic. | Satoshi Matsuoka |
| 2018 | CauDEr: A Causal-Consistent Reversible Debugger for Erlang. | Ivan Lanese, Naoki Nishida, Adrin Palacios, Germn Vidal |
| 2018 | \lambda λ to SKI, Semantically - Declarative Pearl. | Oleg Kiselyov |
| 2018 | Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. | Makoto Hamana |
| 2018 | Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. | Daniel Gall, Thom W. Frhwirth |
| 2018 | Breaking Symmetries with Lex Implications. | Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2018 | A Functional Perspective on Machine Learning via Programmable Induction and Abduction. | Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe |
| 2018 | Functional Pearl: Folding Polynomials of Polynomials. | Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu |
| 2018 | On Probabilistic Term Rewriting. | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada |
| 2018 | Equivalence Checking of Non-deterministic Operations. | Sergio Antoy, Michael Hanus |