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