ZARZA We are Zarza, the prestigious firm behind major projects in information technology.

Type Theory Forall

Por: Pedro Abreu

An accessible podcast about Type Theory, Programming Languages Research and related
topics.

58 episodios disponibles

Latest episodes of the podcast Type Theory Forall

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

#56 Property Based Testing and PL Grad School Applications - Francille Zhuang 17/11/2025

#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber 27/10/2025

#54 The Goal of Science is to Communicate Ideas! - Philip Wadler 29/09/2025

#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer 27/08/2025

#52 Why is Haskell so special - Lennart Augustsson 10/07/2025

#51 s/Coq/Rocq - Nicolas Tabareau 04/06/2025

#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra 14/05/2025

#49 Self-Education in PL - Ryan Brewer 14/03/2025

#48 Bell Labs - David MacQueen 21/01/2025

#47 The History of LCF, ML and HOPE - David MacQueen 07/01/2025

#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot 29/11/2024

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot 24/11/2024

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 06/11/2024

#43 PL in the Industry and Summer Schools - Patrick and Eric 13/09/2024

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 29/08/2024

#41 The Value of PL (and) Education - Satnam Singh 15/08/2024

#40 Secure Voting - Joe Kiniry 15/07/2024

#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 13/06/2024

#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 16/05/2024

1 2 3 Siguiente › Última »