Functional Geekery
Functional Geekery Episode 77 – Jared Roesch
December 06, 2016
In this episode I talk with Jared Roesch. We talk his history of functional programming, work on the Rust compiler, dependent types, the Lean Proving Language, and much, much more.
Functional Geeks, Geeking Functionally
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast