Pedro Abreu

Type Theory Forall

テクノロジーに興味のあるすべての人にとって、複雑なトピックを身近に感じられるようにする、型理論、プログラミング言語などを扱った魅力的なポッドキャストを探求してください。

Listen on Apple Podcasts

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

158 mins • Oct 27, 2025

最近のエピソード

Oct 27, 2025

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

158 mins

Sep 29, 2025

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler

110 mins

Aug 27, 2025

#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer

145 mins

Jul 10, 2025

#52 Why is Haskell so special - Lennart Augustsson

91 mins

Jun 4, 2025

#51 s/Coq/Rocq - Nicolas Tabareau

102 mins

言語
英語
アメリカ合衆国
ウェブサイト
フィード
更新をリクエストする
更新には数分かかる場合があります。