Table of Contents

Part I: Introduction to programming languages

• Introduction
• Formalising a language
• Dynamic semantics
• Static semantics

Part II: The lambda calculus

• Untyped Lambda Calculus
• Typed Lambda Calculus

Part III: Real world examples

• Featherweight Java
• Web assembly