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

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
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