#29 Can PL theory make you a better software engineer? - Jimmy Koppel | Type Theory Forall | Podwise