Daniel P. Friedman

Daniel P. Friedman

1 Interview

Daniel P. Friedman's Interviews

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

67 min
00:00
01:07:27
No file found

Podcast with Daniel P. Friedman

Shout-outs

Add shout-out

Your shout-out can appear here. Consider telling everyone why Daniel P. Friedman should be followed.

Possible Pairings

You might also be interested in