15312 Foundations Of Programming Languages !free! 〈Firefox Updated〉

: Using structural induction as a foundational tool to define grammars and prove language properties.

: Understanding identifiers, binding, and scope within a program. 15312 foundations of programming languages