Functional and Logic Programming More Books by Jeremy Gibbons & Dale Miller

Trends in Functional Programming

2025

Bidirectional Transformations

2018

Teaching Formal Methods

2009