Here are some books I recommend on various computing topics, centred around programming language theory, type systems, and compilers.
I occasionally do technical reviews on behalf of publishers. If you are interested in having me review a manuscript for you, do send me an email.
by Daniel P. Friedman and Matthias Felleisen
by Daniel P. Friedman and Carl Eastlund
by Daniel P. Friedman and William E. Byrd
by Daniel P. Friedman and David Thrane Christiansen
by Peter Van Roy and Seif Haridi
by Leon Sterling and Ehud Shapiro
by Benjamin C. Pierce
edited by Benjamin C. Pierce
by Edwin Brady
Disclosure: I was a technical reviewer for this book.
by Franz Baader and Tobias Nipkow
by Carol Schumacher