Title: Programming Language Design and Implementation, Author: Torben Ægidius Mogensen
Title: Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence, Author: Anton Antich