Daniel P. Friedman – Adam Gordon Bell
Daniel P. Friedman is a computer scientist. Adam Gordon Bell is a software developer and an interview host. We found 1 podcast interview connecting Daniel P. Friedman and Adam Gordon Bell.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with Daniel P. Friedman & Adam Gordon Bell
Adam Gordon Bell
&
David Christiansen
+ Daniel P. Friedman
•
01 Dec 2018
• EN
Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen
Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have dis