John P. Gallagher, Martin Sulzmann

Functional and Logic Programming - 1st ed. 2018 - Springer International Publishing 2018 - 10818 - Lecture Notes in Computer Science .

978-3-319-90686-7

1611-3349