Adam Brooks Webber
Intended for computer science majors, this textbook introduces the abstract concepts that underlie all programming languages, and provides tutorials on ML, Java, and Prolog. Webber (University of Wisconsin) explains the grammar that defines syntax and semantics, language systems, types, polymorphism
Textbooks
Modern Programming Languages: A Practical Introduction