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.

59 episodios disponibles

Latest episodes of the podcast Type Theory Forall

Mostrando página 3 de 3

#18 Gödel's Incompleteness Theorems - Cody Roux 19/05/2022

#17 The Lost Elegance of Computation - Conal Elliott 09/05/2022

#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx 02/04/2022

#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric 27/03/2022

#14 POPL, Parametricity, Scala, DOT - Nitin and Eric 12/02/2022

#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley 23/12/2021

#12 Tenure, Sexism and ADHD - Talia Ringer 10/11/2021

#11 FP, Monads, GHC, and beyond - Alejandro Serrano 04/10/2021

#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das 15/07/2021

#9 Logic and Proof Theory - Anupam Das 28/05/2021

#8 Cedille - Chris Jenkins 11/05/2021

#7 Hacking Isabelle's Internals - Dan Matichuk 16/04/2021

#6 All The Dumb Questions on Gradual Types - Zeina Migeed 29/03/2021

#5 The History of Coq'Art - Yves Bertot 27/02/2021

#4 Theorem Provers, Functional Programming and Companies - Eric Bond 15/02/2021

#3 ML for PL and Mental Health - Dan Zheng 01/02/2021

#2 Grad School Life - Rajan Walia and John Sarracino 10/01/2021

#1 What is PL research? - Prof. Ben Delaware 23/12/2020

#0 Cool Internships in PL - Pedro Abreu 14/12/2020

« Primera ‹ Anterior 1 2 3