TuneIn Logo
Type Theory Forall-logo

Type Theory Forall

0 Favorites

Location:

United States

Description:

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

Language:

English

Episodes
Play Button
#37 Compilers, Staging, Futamura Projections - Guannan Wei
#37 Compilers, Staging, Futamura Projections - Guannan Wei
3/11/2024
Play Button
#36 Behind the Person Behind this Podcast - Pedro Abreu
#36 Behind the Person Behind this Podcast - Pedro Abreu
12/26/2023
Play Button
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
12/4/2023
Play Button
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
10/16/2023
Play Button
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
9/9/2023
Play Button
#32 TyDe Systems - Jan de Muijnck-Hughes
#32 TyDe Systems - Jan de Muijnck-Hughes
7/22/2023
Play Button
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
7/13/2023
Play Button
#30 Actors, GADTs and Burnout - Dan and Pedro
#30 Actors, GADTs and Burnout - Dan and Pedro
5/30/2023
Play Button
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
4/9/2023
Play Button
#28 Formally Verifying Smart Contracts - Pruvendo
#28 Formally Verifying Smart Contracts - Pruvendo
2/15/2023
Play Button
#27 Formalizing an OS: The seL4 - Gerwin Klein
#27 Formalizing an OS: The seL4 - Gerwin Klein
2/4/2023
Play Button
#26 Mechanizing Modern Mathematics - Kevin Buzzard
#26 Mechanizing Modern Mathematics - Kevin Buzzard
1/16/2023
Play Button
#25 Formally Verifying the Tezos Codebase - Formal Land
#25 Formally Verifying the Tezos Codebase - Formal Land
11/21/2022
Play Button
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
9/24/2022
Play Button
#22 Impredicativity, LEM, Realizability and more - Cody Roux
#22 Impredicativity, LEM, Realizability and more - Cody Roux
8/12/2022
Play Button
#21 Denotational Design - Conal Elliott
#21 Denotational Design - Conal Elliott
8/4/2022
Play Button
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
6/27/2022
Play Button
#19 Experience Report: Learning Coq - Patrick and Supun
#19 Experience Report: Learning Coq - Patrick and Supun
6/4/2022
Play Button
#18 Gödel's Incompleteness Theorems - Cody Roux
#18 Gödel's Incompleteness Theorems - Cody Roux
5/19/2022
Play Button
#17 The Lost Elegance of Computation - Conal Elliott
#17 The Lost Elegance of Computation - Conal Elliott
5/9/2022
See More