Program Proofs More Books Like This
Central European Functional Programming School
2008
Introduction to Computation
2022
Logic-Based Program Synthesis and Transformation
2017
Implementation and Application of Functional Languages
2007
Programming Languages and Systems
2010
Programming Languages and Systems
2016
Trends in Functional Programming
2019
Logic-Based Program Synthesis and Transformation
2018
Essentials of Programming Languages, third edition
2008
Programming Languages and Systems
2015
Practical Aspects of Declarative Languages
2017
Introduction to Compiler Design
2017
Declarative Programming and Knowledge Management
2014
Functional and Logic Programming
2016
Engineering Trustworthy Software Systems
2018