Logo

Type Theory Forall

Type Theory much beyond inference rules

Last Episodes

image

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Ga

May 16th 2024   |  116 min
image

In this episode we talk with Guannan Wei, from Purdue University. Guannan finished his PhD last year under Tiark Rompf, and is currently doing his Post-Doc with Tiark. Guannan has worked on a plethora

Mar 11th 2024   |  113 min

All Episodes

Pedro Abreu

Dec 26th 2023   |  110 min

Eduardo Rafael

Dec 4th 2023   |  81 min

Andrew Marmaduke

Oct 16th 2023   |  88 min

Leo de Moura

Sep 9th 2023   |  125 min

Jan de Muijnck-Hughes

Jul 22nd 2023   |  101 min

Jan de Muijnck-Hughes

Jul 13th 2023   |  130 min

Dan and Pedro

May 30th 2023   |  105 min

Jimmy Koppel

Apr 9th 2023   |  84 min

Pruvendo

Feb 15th 2023   |  71 min

Gerwin Klein

Feb 4th 2023   |  119 min

Kevin Buzzard

Jan 16th 2023   |  136 min

Formal Land

Nov 21st 2022   |  62 min

Lawrence Paulson

Oct 6th 2022   |  98 min

Jens Palsberg and Jonathan Aldrich

Sep 24th 2022   |  72 min

Cody Roux

Aug 12th 2022   |  139 min

Conal Elliott

Aug 4th 2022   |  187 min

Dan R. Ghica

Jun 28th 2022   |  97 min

Patrick and Supun

Jun 4th 2022   |  112 min

Cody Roux

May 19th 2022   |  170 min

Conal Elliott

May 9th 2022   |  213 min

Jesper Cockx

Apr 2nd 2022   |  96 min

Nitin and Eric

Mar 27th 2022   |  78 min

Nitin and Eric

Feb 12th 2022   |  57 min

John Wiegley

Dec 23rd 2021   |  100 min

Talia Ringer

Nov 10th 2021   |  66 min

Alejandro Serrano

Oct 4th 2021   |  67 min

Thorsten Altenkirch and Anupam Das

Jul 15th 2021   |  77 min

Anupam Das

May 28th 2021   |  57 min

Chris Jenkins

May 11th 2021   |  66 min

Hacking Isabelle's Internals

Apr 16th 2021   |  81 min

Zeina Migeed

Mar 29th 2021   |  39 min

Yves Bertot

Feb 27th 2021   |  72 min

Dan Zheng

Feb 1st 2021   |  68 min

Rajan Walia and John Sarracino

Jan 10th 2021   |  77 min

Prof. Ben Delaware

Dec 23rd 2020   |  58 min

Pedro Abreu

Dec 14th 2020   |  32 min

Sponsors

join our discord