Programming Languages and Systems Programming Languages and Systems
2024
The Reasoned Schemer, second edition The Reasoned Schemer, second edition
2018
Functional and Logic Programming Functional and Logic Programming
2016