Program Proofs More Books Like This
ML for the Working Programmer
1996
Central European Functional Programming School
2008
Thinking Functionally with Haskell
2014
Paradigms of Artificial Intelligence Programming
2014
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
Haskell
2014
Essentials of Programming Languages, third edition
2008
Programming Languages and Systems
2015
Practical Aspects of Declarative Languages
2017