Foundations of programming language design: type systems, operational semantics, lambda calculus, functional and object-oriented language features, and program analysis.
395
Foundations of programming language design: type systems, operational semantics, lambda calculus, functional and object-oriented language features, and program analysis.