Technology

Type Theory Forall

by Pedro Abreu

TechnologieWissenschaft

Is this your show? Claim it

Listen on Apple Podcasts RSS feed

Recently ranked · United States

Last recorded placements from this show’s chart history. These are not current rankings.

Not on the United States charts we track today.

If you like Type Theory Forall, try…

Browserverlauf

Also in Technologie

Basis 108. Der IT-Zukunftspodcast.

Also in Technologie

Beyond Vibe Coding

Also in Technologie

Auf Distanz - Podcast über Astronomie und Raumfahrt

Also in Technologie

EDGE AI POD

Also in Technologie

UX Heroes

Also in Technologie

Latest episodes

#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira

October 19, 2026 · 2 hr 3 min

How can we be sure that our code is doing what is supposed to be doing? And this is the role of formal verification at large: A Discipline to trust that the code is doing what it is supposed to do. In this episode I talk with Gabriela…
#64 PL Education in the Age of AI - Shriram Krishnamurthi

September 5, 2026 · 2 hr 44 min

Shriram has devoted his Career to advance the teaching of programming of programming languages. he is a professor at Brown, The author / co-author of different books about this, and a major contributor the Racket Programming Language. In…
#63 Hack: Typing PHP at Facebook Scale - Julien Verlaguet

August 7, 2026 · 1 hr 46 min

Julien is one of the creators of Hack, a language developed by Facebook to introduce types into PHP. In this episode he talks in depth about the semantics of PHP, and all the ways that it is inhenrently broken, process of development of…
#62 Dependent Haskell - Vladislav Zavialov

June 13, 2026 · 2 hr 5 min

Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell. In this conversation we talk about the development process of the…
#61 Zurihac Behind the Scenes - Farhad Mehta

April 16, 2026 · 2 hr 19 min

In this episode we talk with Farhad Mehta, one of the main organizers of Zurihac, the biggest Haskell event in the planet. Zurihac happens once a year at Zurich. This year’s Zurihac will be on june 6, 7 and 8. Links Zurihac…

Show 7 more episodesShow fewer episodes

#60 Conversations on Life, AI, and the PL Job Market - Pedro and Dan

March 25, 2026 · 1 hr 53 min

In this episode me and Dan Plyukhin get together to have a heartfelt conversation. We start by talking about our experiences with meditation, and how it has helped us to have a more balanced work-life experience. Then the conversation…
#59 Category Theory and Inclusivity - Valeria de Paiva

January 28, 2026 · 2 hr 47 min

In this episode of the Type Theory Forall podcast, we are joined by Valeria de Paiva, a Brazilian mathematician and logician whose work has had a lasting influence on category theory, type theory, and the foundations of logic. She is also…
#58 Constructivism and Computational Content - Andrej Bauer

December 16, 2025 · 2 hr 19 min

Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and computer science. During our conversation it just feels that he can just go on in depth about any topic remotely related to Type…
#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik

December 6, 2025 · 59 min

Raghav Malik, has just defended his PhD on the topic of compilers for privacy-preserving computation, and that's a good chunk of our conversation. He has also spent some years in grad school going down the rabbit hole to actually learn…
#56 Property Based Testing and PL Grad School Applications - Francille Zhuang

November 17, 2025 · 1 hr 36 min

Francille Zhuang is an undergrad at Purdue University and has been doing research with Benjamin Delaware and Patrick Lafontaine. In this episode we talk about her early research experiences on Property Based Testing, and we go through all…
#55 The Death of OO, The Beauty of Scheme, BobKonf, and FunArch - Mike Sperber

October 27, 2025 · 2 hr 38 min

Mike Sperber is the CEO of Active Group, a company designed for Counseling, Development and Training in functional programming. He is a co-organizer of Bob Konf and FunArch, the Co-founder of the leading german blog on functional…
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler

September 29, 2025 · 1 hr 50 min

Philip Wadler is a well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. He got his Bachelor in 1977 at Stanford, his Masters in 1979 and his…