Sveriges mest populära poddar
Type Theory Forall
Type Theory Forall

#9 Logic and Proof Theory - Anupam Das

57 min•28 maj 2021
Logga in för att spara

Fler avsnitt

Visa alla avsnitt av Type Theory Forall

#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira

2 tim 3 min

#64 PL Education in the Age of AI - Shriram Krishnamurthi

2 tim 44 min

#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

1 tim 46 min

#62 Dependent Haskell - Vladislav Zavialov

2 tim 5 min

#61 Zurihac Behind the Scenes - Farhad Mehta

2 tim 19 min

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

1 tim 53 min

#59 Category Theory and Inclusivity - Valeria de Paiva

2 tim 47 min

#58 Constructivism and Computational Content - Andrej Bauer

2 tim 19 min

#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

59 min

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

1 tim 36 min

Type Theory Forall med Pedro Abreu finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.