Phase 1 - Foundations of program specification and semantics

Benjamin C. Pierce · 2002

• Chapter 1. IntroductionBenjamin C. Pierce
• Chapter 2. Mathematical preliminariesBenjamin C. Pierce
• Part I. Untyped systemsBenjamin C. Pierce

Robert Harper · 2016

• PrefaceRobert Harper
• Part I. Judgments and rulesRobert (Bob) Harper

Shriram Krishnamurthi · 2012

• Chapter 1. Learning SMoL - Standard model of languagesShriram Krishnamurthi
• Chapter 2. EvaluationShriram Krishnamurthi
• Chapter 3. Syntactic sugarShriram Krishnamurthi
• Chapter 4. ObjectsShriram Krishnamurthi
• Chapter 5. TypesShriram Krishnamurthi

Benjamin C. Pierce · 2024

• Logical FoundationsBenjamin C. Pierce et al.