Bem vindos to one more episode of the type theory forall podcast! As always this is your host Pedro Abreu. And today I have the great honor to have with me Shriram Krishnamurthi. 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
