ML for the Working Programmer More Books Like This
Central European Functional Programming School
2008
Implementation and Application of Functional Languages
2007
Thinking Functionally with Haskell
2014
The Functional Approach to Programming
1998
Program Proofs
2023
Implementation and Application of Functional Languages
2008
Trends in Functional Programming Volume 7
2011
Introduction to Computation
2022
Practical Aspects of Declarative Languages
2017
Practical Aspects of Declarative Languages
2016
Logic-Based Program Synthesis and Transformation
2017
Paradigms of Artificial Intelligence Programming
2014
Programming Languages and Systems
2010
Functional and Logic Programming
2016
Programming in Haskell: Second Edition
2016