Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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

1+ y ago 1:24:19

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he teaches engineers to write better code! In this interview we talk about how to make better code, how the knowledge of computer science theory and programming languages can help engineers to achieve that, and much more!

Links

Newsletters discussed in the show

… continue reading

81 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#29 Can PL theory make you a better software engineer? - Jimmy Koppel

Type Theory Forall

27 subscribers

published 1+ y ago

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he teaches engineers to write better code! In this interview we talk about how to make better code, how the knowledge of computer science theory and programming languages can help engineers to achieve that, and much more!

Links

Newsletters discussed in the show

… continue reading

81 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

ทุกตอน

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner