Functional Geekery Episode 62 - Lars Hupel
Functional Geekery
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.Next Episodes
Functional Geekery Episode 61 - Susan Potter @ Functional Geekery
📆 2016-08-02 12:00 / ⌛ 01:04:22
Functional Geekery Episode 60 - Paul Bone @ Functional Geekery
📆 2016-07-26 12:00 / ⌛ 00:58:02
Functional Geekery Episode 59 - Eric Bailey @ Functional Geekery
📆 2016-07-19 12:00 / ⌛ 00:59:13
Functional Geekery Episode 58 - Elise Huard @ Functional Geekery
📆 2016-07-05 12:00 / ⌛ 00:49:43
Functional Geekery Episode 57 - Mark Seemann @ Functional Geekery
📆 2016-06-28 12:00 / ⌛ 01:03:55