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 2 de 3

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

#37 Compilers, Staging, Futamura Projections - Guannan Wei 11/03/2024

#36 Behind the Person Behind this Podcast - Pedro Abreu 26/12/2023

#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 04/12/2023

#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 16/10/2023

#33 Z3 and Lean, the Spiritual Journey - Leo de Moura 09/09/2023

#32 TyDe Systems - Jan de Muijnck-Hughes 22/07/2023

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 13/07/2023

#30 Actors, GADTs and Burnout - Dan and Pedro 30/05/2023

#29 Can PL theory make you a better software engineer? - Jimmy Koppel 09/04/2023

#28 Formally Verifying Smart Contracts - Pruvendo 15/02/2023

#27 Formalizing an OS: The seL4 - Gerwin Klein 04/02/2023

#26 Mechanizing Modern Mathematics - Kevin Buzzard 16/01/2023

#25 Formally Verifying the Tezos Codebase - Formal Land 21/11/2022

#24 The History of Isabelle - Lawrence Paulson 06/10/2022

#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich 24/09/2022

#22 Impredicativity, LEM, Realizability and more - Cody Roux 12/08/2022

#21 Denotational Design - Conal Elliott 04/08/2022

#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica 28/06/2022

#19 Experience Report: Learning Coq - Patrick and Supun 04/06/2022

« Primera ‹ Anterior 1 2 3 Siguiente › Última »