Recursive Programming Techniques

Verified Functional Programming in Agda (Acm Books)

A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)

Threaded Interpretive Languages: Their Design and Implementation

Conceptual Mathematics: A First Introduction to Categories

Compiler Design and Construction (Electrical/computer science and engineering series)

Compiler Design Theory (The Systems programming series)

Implementing Programming Languages. an Introduction to Compilers and Interpreters (Texts in Computing)

Seven Concurrency Models in Seven Weeks: When Threads Unravel (The Pragmatic Programmers)

Purely Functional Data Structures