Podcast: Type Theory Forall

Type Theory Forall Podcast #37 - Compilers, Staging, Futamura Projections - Guannan Wei

Can PL theory make you a better software engineer?

Mechanizing Modern Mathematics

The Lost Elegance of Computation

The Lost Elegance of Computation with Conal Elliott