Trends in Functional Programming More Books by Jeremy Gibbons

Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2024
Bidirectional Transformations Bidirectional Transformations
Bidirectional Transformations
2018
Teaching Formal Methods Teaching Formal Methods
Teaching Formal Methods
2009