Type Theory Forall

#1 What is PL research? - Prof. Ben Delaware

Listen Later
...more
View all episodesView all episodes
Download on the App Store
Type Theory ForallBy Pedro Abreu
  • 5
  • 5
  • 5
  • 5
  • 5

5

11 ratings

More shows like Type Theory Forall

View all
Software Engineering Radio - the podcast for professional software developers by se-radio@computer.org

Software Engineering Radio - the podcast for professional software developers

272 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

284 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

621 Listeners

Soft Skills Engineering by Jamison Dance and Dave Smith

Soft Skills Engineering

269 Listeners

Late Night Linux by The Late Night Linux Family

Late Night Linux

154 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

189 Listeners

The Numberphile Podcast by Brady Haran

The Numberphile Podcast

448 Listeners

Cautionary Tales with Tim Harford by Pushkin Industries

Cautionary Tales with Tim Harford

5,125 Listeners

Iowa Type Theory Commute by Aaron Stump

Iowa Type Theory Commute

17 Listeners

Last Week in AI by Skynet Today

Last Week in AI

287 Listeners

2.5 Admins by The Late Night Linux Family

2.5 Admins

92 Listeners

The Haskell Interlude by Haskell Podcast

The Haskell Interlude

13 Listeners

The Joy of Why by Steven Strogatz, Janna Levin and Quanta Magazine

The Joy of Why

502 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

47 Listeners

Latent Space: The AI Engineer Podcast by swyx + Alessio

Latent Space: The AI Engineer Podcast

75 Listeners