Books

Daniel P. Friedman, Mitchell Wand · 2008

Robert Harper · 2016

• PrefaceRobert Harper
• Part i. judgments and rulesRobert (Bob) Harper

Michael L. Scott · 2015

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 et al. · 2024

• Logical foundationsBenjamin C. Pierce et al.

Benjamin C. Pierce · 2002

• Chapter 1. introductionBenjamin C. Pierce
• Chapter 2. mathematical preliminariesBenjamin C. Pierce
• Part i. untyped systemsBenjamin C. Pierce