| 2024 | Inferring Non-failure Conditions for Declarative Programs. | Michael Hanus |
| 2024 | ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars. | Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur |
| 2024 | Language-parameterized Proofs for Functional Languages with Subtyping. | Seth Galasso, Matteo Cimini |
| 2024 | A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. | Franois Fages |
| 2024 | Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. | Supun Abeysinghe, Tiark Rompf |
| 2022 | On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. | Shujun Zhang, Naoki Nishida |
| 2022 | A Lazy Desugaring System for Evaluating Programs with Sugars. | Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu |
| 2022 | FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. | Huaduo Wang, Gopal Gupta |
| 2022 | Explanations as Programs in Probabilistic Logic Programming. | Germn Vidal |
| 2022 | Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. | Basel Shbita, Abha Moitra |
| 2022 | Scheduling Complexity of Interleaving Search. | Dmitry Rozplokhas, Dmitry Boulytchev |
| 2022 | Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. | Masahiro Masuda, Yukiyoshi Kameyama |
| 2022 | Zipping Strategies and Attribute Grammars. | Jos Nuno Macedo, Marcos Viera, Joo Saraiva |
| 2022 | Translation Certification for Smart Contracts. | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
| 2022 | Generating C - System Description. | Oleg Kiselyov |
| 2022 | Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato |
| 2022 | Improving Type Error Reporting for Type Classes. | Sheng Chen, Md. Rabib Noor |
| 2022 | A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. | Birthe van den Berg, Tom Schrijvers |
| 2022 | Enhancing Expressivity of Checked Corecursive Streams. | Davide Ancona, Pietro Barbieri, Elena Zucca |
| 2022 | Asynchronous Unfold/Fold Transformation for Fixpoint Logic. | Mahmudul Faisal Al Ameen, Naoki Kobayashi, Ryosuke Sato |
| 2020 | Implementing, and Keeping in Check, a DSL Used in E-Learning. | Oliver Westphal, Janis Voigtlnder |
| 2020 | An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. | Kanae Tsushima, Bach Nguyen Trong, Robert Glck, Zhenjiang Hu |
| 2020 | Restriction on Cut in Cyclic Proof System for Symbolic Heaps. | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
| 2020 | Language-Integrated Query with Nested Data Structures and Grouping. | Rui Okura, Yukiyoshi Kameyama |
| 2020 | Declarative Pearl: Deriving Monadic Quicksort. | Shin-Cheng Mu, Tsung-Ju Chiang |