Programming Language 12
- Easy Foundations for Programming Languages X — Imperative Programs
- Easy Foundations for Programming Languages IX — Universal Algebra and Algebraic Data Types
- Easy Foundations for Programming Languages VIII — Proof Systems
- Easy Foundations for Programming Languages VII — Simply-Typed Lambda Calculus
- Easy Foundations for Programming Languages VI — PCF Extensions (Unit, Sum, Recursive Types)
- Easy Foundations for Programming Languages V — PCF Iteration and Recursion
- Easy Foundations for Programming Languages IV — PCF Semantics
- Easy Foundations for Programming Languages III — The Language PCF & Its Syntax
- Easy Foundations for Programming Languages II — Notation and Mathematical Conventions
- Easy Foundations for Programming Languages I — Introduction
- Programming Language Pragmatics
- 程序语言基础：从语法、语义到命令式程序的阅读地图