One thought on “Foundations for Programming Languages

  1. This book develops several typed lambda calculus-based toy languages and describes their semantics using category theory, universal algebra, model theory and rewriting systems. I must say that Stanford undergraduates are pretty smart if they understand all this stuff.

Leave a Reply