Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#64 PL Education in the Age of AI

Shriram Krishnamurthi

Sep 5th 2026   |  2h44min
0:00
0:00

Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributor the Racket Programming Language.

In this episode we talk in depth about why PL education is so important, what can students really gain from in practice? What is changes in the age of AI? Is programming even going to be a thing in the years to come!?

All contributions to the show are greatly appreciated! https://www.typetheoryforall.com/patreon

Links