Software Foundations

as used in Princeton University's COS 510, Spring 2021

Volume 1: Logical Foundations

Volume 2: Programming Language Foundations

Volume 3: Verified Functional Algorithms