David Christiansen – Adam Gordon Bell
David Christiansen is a computer scientist and an interview host. Adam Gordon Bell is a software developer and an interview host. We found 1 podcast interview connecting David Christiansen and Adam Gordon Bell.
Feel free to follow both profiles to receive their upcoming podcast interview appearances in your personal feed.
Episodes with David Christiansen & 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