Sign up to save your podcasts
Or
Share 20: Jesper Cockx
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
20: Jesper Cockx
In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
View all episodes
By Haskell Podcast
5
1313 ratings
In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.
More shows like The Haskell Interlude
View all
In Our Time
5,389 Listeners
Software Engineering Radio - the podcast for professional software developers
272 Listeners
Philosophy Bites
1,532 Listeners
Talk Python To Me
590 Listeners
Software Engineering Daily
621 Listeners
The Quanta Podcast
500 Listeners
CoRecursive: Coding Stories
189 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,142 Listeners
Your Undivided Attention
1,472 Listeners
Last Week in AI
287 Listeners
Machine Learning Street Talk (MLST)
88 Listeners
Type Theory Forall
10 Listeners
The Array Cast
35 Listeners
The Joy of Why
502 Listeners
Oxide and Friends
47 Listeners