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