Functional Geekery Episode 110 – Kiwamu Okabe

Functional Geekery - A podcast by Proctor

Categories:

In this episode I talk with Kiwamu Okabe. We talk his introduction to writing software for hardware; exposure to functional programming; running Haskell, ATS, and VeriFast verification on bare metal hardware; and more.

Visit the podcast's native language site