Iowa Type Theory Commute Author: Aaron Stump Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute. Be a guest on this podcast Language: en-us Genres: Mathematics, Science, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

Great paper: Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Episode 2
Wednesday, 21 October, 2026

I start discussing this great paper by Dunfield and Krishnaswami, about how to extend a particular approach to type inference to handle polymorphism.

We also recommend:

San Diego Amateur Radio Podcast
W5NYV

Bluff Europe Podcast Sponsored by Unibet
Bluff Europe

Bitcoin Watcher
Aric Millard

Impacto TIC Análisis y opinión

The Buckshot Mouthwash Network
The Buckshot Mouthwash Network

Future Break Podcast
Peder Aadahl & Sergei Sushchik

Midwestern Geek In Cali

Origin Ventures Podcast
Origin Ventures

CELab: The Customer Education Lab
CELab

The Simple Table Podcast
Kyle Felke, Nicole Bihl, Braden Walker

Random
Alan Acosta

The Real View
Technology Policy Institute