Programming Language Models: Compilation, Interpretation, and Typing

Modern programming languages come in many forms, each designed with different execution models, type systems, and tradeoffs. Understanding the core characteristics of programming languages like whether they are interpreted, compiled, statically typed...