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