Navigated to Type Theory Forall

Type Theory Forall

TechScience

Pedro Abreu

typetheoryforall.com

Monthly podcast. Next episode on Friday, October 3.

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

54 episodes • 0 archived •

#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer

August 27

2h 25m

#52 Why is Haskell so special - Lennart Augustsson

July 10

1h 30m

#51 s/Coq/Rocq - Nicolas Tabareau

June 4

1h 42m

#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra

May 14

2h 6m

#49 Self-Education in PL - Ryan Brewer

March 14

2h 23m

#48 Bell Labs - David MacQueen

January 21

2h 10m

#47 The History of LCF, ML and HOPE - David MacQueen

January 7

2h 5m

#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot

Nov 29, 2024

1h 3m

You might like

ADSP: Algorithms + Data Structures = Programs

Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

Oxide and Friends

Oxide Computer Company

Compose

Tim McNamara (timClicks)

Richard Feldman

Kris Jenkins

Never lose your place, on any device

Create a free account to sync, back up, and get personal recommendations.

Create account

Type Theory ForallFollow

You might like

Never lose your place, on any device

Type Theory Forall