Functional Geekery Episode 110 – Kiwamu Okabe
Functional Geekery - En podcast av Proctor
Kategorier:
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.
