How to Design Programs, Second EditionMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi · First published 2018Open the Tome
Practical Aspects of Declarative LanguagesMatthew Flatt, Hai-Feng Guo · First published 2013Open the Tome
