Abstract is missing.
- Transpiling Programming Computable Functions to Answer Set ProgramsIngmar Dasseville, Marc Denecker. 3-17 [doi]
- Code Generation for Higher Inductive Types - A Study in Agda MetaprogrammingPaventhan Vivekanandan. 18-35 [doi]
- Measuring Coverage of Prolog Programs Using Mutation TestingAlexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner. 39-55 [doi]
- Runtime Verification in Erlang by Using ContractsLars-Åke Fredlund, Julio Mariño, Sergio Pérez 0001, Salvador Tamarit. 56-73 [doi]
- Enhancing POI Testing Through the Use of Additional InformationSergio Pérez 0001, Salvador Tamarit. 74-90 [doi]
- Synthesizing Set FunctionsSergio Antoy, Michael Hanus, Finn Teegen. 93-111 [doi]
- Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR ProgramsHenning Christiansen 0001, Maja H. Kirkeby. 112-130 [doi]
- Reference Type Logic Variables in Constraint-Logic Object-Oriented ProgrammingJan C. Dageförde. 131-144 [doi]
- FMS: Functional Programming as a Modelling LanguageIngmar Dasseville, Gerda Janssens. 145-161 [doi]
- Functional Federated Learning in Erlang (ffl-erl)Gregor Ulm, Emil Gustavsson, Mats Jirstrand. 162-178 [doi]