Abstract is missing.
- Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)Katsumi Inoue. 3-9 [doi]
- ACGtk: A Toolkit for Developing and Running Abstract Categorial GrammarsMaxime Guillaume, Sylvain Pogodalla, Vincent Tourneur. 13-30 [doi]
- Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual ImprovementKoko Muroya, Makoto Hamana. 31-61 [doi]
- A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term RewritingJan-Christoph Kassing, Stefan Dollase, Jürgen Giesl. 62-80 [doi]
- Tabulation with ZippersMarcos Viera, Alberto Pardo, João Saraiva. 83-98 [doi]
- Declarative Pearl: Rigged ContractsAlexander Vandenbroucke, Tom Schrijvers. 99-114 [doi]
- System Description: DeepLLM, Casting Dialog Threads into Logic ProgramsPaul Tarau. 117-134 [doi]
- A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint SemanticsFrançois Fages. 135-150 [doi]
- Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description)Björn Lellmann, Philipp Marek, Markus Triska. 151-164 [doi]
- Inferring Non-failure Conditions for Declarative ProgramsMichael Hanus. 167-187 [doi]
- Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional ProgrammingChun Kit Lam, Lionel Parreaux. 188-216 [doi]
- MetaOCaml: Ten Years Later - System DescriptionOleg Kiselyov. 219-236 [doi]
- An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage ProgrammingTakashi Suwa, Atsushi Igarashi. 237-272 [doi]
- Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System DescriptionSupun Abeysinghe, Tiark Rompf. 273-288 [doi]
- Language-parameterized Proofs for Functional Languages with SubtypingSeth Galasso, Matteo Cimini. 291-310 [doi]
- System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, PlebbyDakotah Lambert. 311-328 [doi]