Functional Geekery
Functional Geekery Episode 71 – Nikhil Swamy
October 25, 2016
In this episode I talk with Nikhil Swamy. We talk F*, dependent types, proving software, Dijkstra Monads, Project Everest for verified HTTPS, and more.
Functional Geeks, Geeking Functionally
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast