Technology

Great paper: The Calculated Typer

Apr 20, 202623:41Technology

I discuss a nice paper I quite enjoyed reading, called The Calculated Typer , by Garby, Bahr, and Hutton. The authors take a very nice general look at the specification of a type checker, for a very simple expression lan...

About This Episode

Great paper: The Calculated Typer is an episode from Iowa Type Theory Commute by Aaron Stump. I discuss a nice paper I quite enjoyed reading, called The Calculated Typer , by Garby, Bahr, and Hutton. The authors take a very nice general loo...

Podcast

This episode belongs to Iowa Type Theory Commute.

Listen Online

Use the player on this page to stream the episode online.

Episode Details

Published Apr 20, 2026, 23:41 long, audio available.

Great paper: The Calculated Typer

About This Episode

Related Episodes