Foundations of Programming Languages - Lee, Kent D.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Introduction -- Syntax -- Assembly Language -- Object-Oriented Programming -- Functional Programming -- Compiling Standard ML -- Logic Programming -- Standard ML Type Inference -- Appendix A: The JCoCo Virtual Machine Specification -- Appendix B: The Standard ML Basis Library.
Keywords: Programming languages (Electronic computers).; Microprogramming .; Applied mathematics; Engineering mathematics; Programming Languages, Compilers, Interpreters; Control Structures and Microprogramming; Mathematical and Computational Engineering