#64 - PL Education in the Age of AI - Shriram Krishnamurthi
Type Theory Forall · 163:45
Shriram Krishnamurthi argues that programming-language work is as much about human emotion, pedagogy, and responsibility as about type theory: “general-purpose” languages are really domain-specific, syntax is the visi...