
20 episodes

Type Theory Forall Pedro Abreu
-
- Technology
-
-
5.0 • 3 Ratings
-
Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
-
#30 Actors, GADTs and Burnout - Dan and Pedro
Dan and Pedro
-
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
Jimmy Koppel
-
#28 Formally Verifying Smart Contracts - Pruvendo
Pruvendo
-
#27 Formalizing an OS: The seL4 - Gerwin Klein
Gerwin Klein
-
#26 Mechanizing Modern Mathematics - Kevin Buzzard
Kevin Buzzard
-
#25 Formally Verifying the Tezos Codebase - Formal Land
Formal Land