• Hem
  • Poddar
  • Topplistan

Functional Geekery Episode 62 – Lars Hupel

Functional Geekery - En podcast av Proctor

Prova Storytel gratis i 30 dagar nu!

Prova Storytel gratis i 30 dagar nu!

Ett universum fyllt av ljudböcker, klicka här för att komma igång

Reklam

Kategorier:

Teknik

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.

Visit the podcast's native language site

  • Alla poddar hos oss
  • Avsnitt
  • Blogg
  • Om oss
  • Integritetspolicy
  • Vad är en podcast?
  • Hur lyssnar man på en podd?

© Podcasts.nu 2025