Search a title or topic

Over 20 million podcasts, powered by 

Player FM logo
Artwork

Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.
Player FM - Podcast App
Go offline with the Player FM app!

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler

1:50:05
 
Share
 

Manage episode 509146941 series 2951423
Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Beem vindos to one more episode of the Type Theory Forall Podcast. In this episode the great honor to interview a living legend in the field of Programming Languages and Type Theory. Philip Wadler is well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. Philip Wadler got his Bachelor in 1977 at Stanford, his Masters in 79 and his PhD in 84 both at CMU. In 2023, he was awarded the distinguished honor of being elected a Fellow of the Royal Society, joining the ranks of scientific greats such as Isaac Newton and Charles Darwin.

Philip Wadler describes himself as someone who likes to bring theory into practice, and practice into theory. In this episode we talk about his prolific research, the story behind Monads and Type Classes, Category Theory and Homotopy Type Theory.

Throughout our conversation, in response to my eagerness to understand the philosophy and method behind his remarkable papers, he repeatedly emphasizes that the whole point of science is clearly communicating ideas so that others can build upon them.

Links

Wadler's Website Ullman's Advising Students For Success

Grad School Mentorship Consider contributing to this show through our ko-fi!

  continue reading

93 episodes

Artwork
iconShare
 
Manage episode 509146941 series 2951423
Content provided by Pedro Abreu. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Pedro Abreu or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://podcastplayer.com/legal.

Beem vindos to one more episode of the Type Theory Forall Podcast. In this episode the great honor to interview a living legend in the field of Programming Languages and Type Theory. Philip Wadler is well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. Philip Wadler got his Bachelor in 1977 at Stanford, his Masters in 79 and his PhD in 84 both at CMU. In 2023, he was awarded the distinguished honor of being elected a Fellow of the Royal Society, joining the ranks of scientific greats such as Isaac Newton and Charles Darwin.

Philip Wadler describes himself as someone who likes to bring theory into practice, and practice into theory. In this episode we talk about his prolific research, the story behind Monads and Type Classes, Category Theory and Homotopy Type Theory.

Throughout our conversation, in response to my eagerness to understand the philosophy and method behind his remarkable papers, he repeatedly emphasizes that the whole point of science is clearly communicating ideas so that others can build upon them.

Links

Wadler's Website Ullman's Advising Students For Success

Grad School Mentorship Consider contributing to this show through our ko-fi!

  continue reading

93 episodes

All episodes

×
 
Loading …

Welcome to 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.

 

Copyright 2025 | Privacy Policy | Terms of Service | | Copyright
Listen to this show while you explore
Play