Functional and Logic Programming المزيد من كتب John P. Gallagher & Martin Sulzmann

The Half-Eaten Boy on the Stairs: A Poem

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Logic-Based Program Synthesis and Transformation