Functional and Logic Programming More Books by John P. Gallagher & Martin Sulzmann

The Half-Eaten Boy on the Stairs: A Poem The Half-Eaten Boy on the Stairs: A Poem
The Half-Eaten Boy on the Stairs: A Poem
2013
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2018