The Type Theory Podcast

Episode 6: Aaron Stump on Cedille

Listen Later
Episode 6: Aaron Stump on Cedille
...more
View all episodesView all episodes
Download on the App Store
The Type Theory PodcastBy The Type Theory Podcast
  • 5
  • 5
  • 5
  • 5
  • 5

5

5 ratings

More shows like The Type Theory Podcast

View all
Algorithms + Data Structures = Programs by Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

Algorithms + Data Structures = Programs

33 Listeners