Abstract is missing.
- Finite Functional Programming - or, LAMBDA: The Ultimate PredicateMichael Arntzenius, Max Willsey. 1-18 [doi]
- Demonic Dynamic Logic ProgrammingRose Bohrer. 19-76 [doi]
- Breccia: A Functional DSL Compiled to Egglog for Test Input GenerationPeter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf. 77-99 [doi]
- Finding Programming Faults Even When Large Parts of the Code Have DisappearedQuinten Cabo, Sven-Bodo Scholz. 100-117 [doi]
- Unifying Hindsight and Foresight - Lazy Cost Analysis as Functional Logic ProgrammingNicholas Coltharp, Steven Libby, Laura Israel, Yao Li 0004. 118-138 [doi]
- A Fine-Grained Small-Step Semantics for Interleaving SearchBrysen Pfingsten, Jason Hemann. 139-155 [doi]
- More Fun with Monoids - Declarative PearlOleg Kiselyov. 156-172 [doi]
- Optimizing Mesh Booleans by Being Lazy (System Description)Chun Kit Lam. 173-184 [doi]
- Computing Supported Models via Transformation to Stable Models: A System DescriptionFang Li 0010, Gopal Gupta 0001. 185-201 [doi]
- Probabilistic Linear Logic Programming with an Application to Bayesian Network ComputationsMatteo Acclavio, Roberto Maieli. 202-219 [doi]
- Matrix Coeffect Algebra for Interdependent Context RequirementsOsamu Miyazawa, Shin-ya Nishizaki. 220-256 [doi]
- Test Your Polymorphic Functions with Boolean ValuesAkimasa Morihata. 257-273 [doi]
- Automatic Knowledge Gap Detection and Plan Validation Using Counterfactual JustificationsAlexis R. Tudor, JoaquĆn Arias, Gopal Gupta 0001. 274-292 [doi]
- Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls)Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter J. Stuckey. 293-305 [doi]