A Strange Deal, Explained
May 7, 2026 - 8:23
Radio and PodcastLive Radio & PodcastsLoading episode
Fetching episode details...
Radio and PodcastLive Radio & PodcastsRadio and PodcastLive Radio & PodcastsFetching episode details...
Radio and PodcastLive Radio & PodcastsIn this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical concept of coherence.
Coercive subtyping and coherence is an episode from Iowa Type Theory Commute by Aaron Stump. In this episode, I give further arguments in favor of coercive subtyping from a software-engineering perspective. I also explain the critical conce...
This episode belongs to Iowa Type Theory Commute.
Use the player on this page to stream the episode online.
Published Jul 1, 2026, 20:30 long, audio available.
Continue listening to more episodes from Iowa Type Theory Commute.
May 7, 2026 - 8:23
Apr 30, 2026 - 2:57
Apr 20, 2026 - 23:41
Apr 2, 2026 - 13:31
Mar 31, 2026 - 13:48
Mar 3, 2026 - 22:29
Jan 16, 2026 - 19:24
Nov 14, 2025 - 21:42