Navigated to Type Theory Forall
Get the app

Log in

Type Theory Forall

TechScience
Pedro Abreu
typetheoryforall.com
Monthly podcast. Next episode on Friday, October 3.
An accessible podcast about Type Theory, Programming Languages Research and related
topics.
54 episodes  •  0 archived  •  
#48 Bell Labs - David MacQueen
January 21
January 21
2h 10m

You might like

Func Prog Podcast
Christoffer Ekeroth
ADSP: Algorithms + Data Structures = Programs
Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane
Oxide and Friends
Oxide Computer Company
CoRecursive: Coding Stories
Adam Gordon Bell - Software Developer
Software Unscripted
Richard Feldman
Developer Voices
Kris Jenkins

Never lose your place, on any device

Create a free account to sync, back up, and get personal recommendations.

Create account