Title: Purely Functional Data Structures, Author: Chris Okasaki
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Pearls of Functional Algorithm Design, Author: Richard Bird
Title: The Haskell School of Music: From Signals to Symphonies, Author: Paul Hudak
Title: Explorations in Computing: An Introduction to Computer Science and Python Programming, Author: John S. Conery
Title: The Guide to MIDI Orchestration 4e, Author: Paul Gilreath
Title: Programming with Higher-Order Logic, Author: Dale Miller
Title: Modern Compiler Design, Author: Dick Grune
Title: Practical Foundations for Programming Languages, Author: Robert Harper
Title: Guide to Fortran 2008 Programming, Author: Walter S. Brainerd
Title: Introduction to Programming in Python: An Interdisciplinary Approach, Author: Robert Sedgewick
Title: Object-Orientation, Abstraction, and Data Structures Using Scala, Author: Mark C. Lewis
Title: Introduction to the Art of Programming Using Scala, Author: Mark C. Lewis
Title: Foundations of Software Engineering, Author: Ashfaque Ahmed
Title: LabVIEW: A Developer's Guide to Real World Integration, Author: Ian Fairweather
Title: HDL with Digital Design, Author: Nazeih Botros
Title: Program Logics for Certified Compilers, Author: Andrew W. Appel
Title: Embedded Software Development with C, Author: Kai Qian
Title: Processing, second edition: A Programming Handbook for Visual Designers and Artists, Author: Casey Reas
Title: Domain-Specific Languages, Author: Martin Fowler

Pagination Links