Functional Geekery
Functional Geekery Episode 62 – Lars Hupel
August 09, 2016
In this episode I talk with Lars Hupel. We talk his introduction to Functional Programming with Haskell, Scala, and move to working on Isabelle for creating theorems about proving your program.
Functional Geeks, Geeking Functionally
Visit Podcast Website
RSS Podcast Feed
Subscribe
Share
Add to MyCast