Sign up to save your podcasts
Or
Share 015 - Dependant Types in Haskell with Stephanie Weirich
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
015 - Dependant Types in Haskell with Stephanie Weirich
In todays interview Stephanie Weirich explains her efforts to make haskell have dependant types and how that example worked.
View all episodes
By Adam Gordon Bell - Software Developer
4.9
188188 ratings
In todays interview Stephanie Weirich explains her efforts to make haskell have dependant types and how that example worked.
More shows like CoRecursive: Coding Stories
View all
Software Engineering Radio - the podcast for professional software developers
275 Listeners
Hanselminutes with Scott Hanselman
380 Listeners
The Changelog: Software Development, Open Source
288 Listeners
Software Engineering Daily
623 Listeners
Talk Python To Me
583 Listeners
Soft Skills Engineering
289 Listeners
Thoughtworks Technology Podcast
43 Listeners
Syntax - Tasty Web Development Treats
984 Listeners
.NET Rocks!
243 Listeners
The Stack Overflow Podcast
64 Listeners
The Real Python Podcast
139 Listeners
Signals and Threads
75 Listeners
Oxide and Friends
65 Listeners
Latent Space: The AI Engineer Podcast
100 Listeners
The Pragmatic Engineer
75 Listeners