Abstract is missing.
- ASP-based Multi-shot Reasoning via DLV2 with Incremental GroundingFrancesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. [doi]
- A Faithful Description of ECMAScript AlgorithmsAdam Khayam, Louis Noizet, Alan Schmitt. [doi]
- Certified Derivation of Small-Step From Big-Step Skeletal SemanticsGuillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs. [doi]
- Contextual Equivalence in a Probabilistic Call-by-Need Lambda-CalculusDavid Sabel, Manfred Schmidt-Schauß, Luca Maio. [doi]
- A Logic for Formalizing Properties of LF SpecificationsGopalan Nadathur, Mary Southern. [doi]
- Session Types Revisited: A Decade LaterOrnela Dardha, Elena Giachino, Davide Sangiorgi. [doi]
- User Guided Abductive Proof Generation for Answer Set Programming QueriesAvishkar Mahajan, Martin Strecker, Meng Weng Wong. [doi]
- Nominal Matching LogicJames Cheney, Maribel Fernández. [doi]
- CheckINN: Wide Range Neural Network Verification in ImandraRemi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya, Matthew Daggit. [doi]
- A Predicate Construct for Declarative Programming in Imperative LanguagesJames Smith, Xiangyu Guo, Ajay Bansal. [doi]
- A Typed Lambda Calculus with Gradual Intersection TypesPedro Ângelo, Mário Florido. [doi]
- A Monadic Implementation of Functional Logic ProgramsMichael Hanus, Kai-Oliver Prott, Finn Teegen. [doi]