The Little Typer - Let's learn about dependent types [Podcast]

God’s Programming Language With Philip Wadler [Podcast]

Corecursive Podcast - Moves and Borrowing In Rust With Jim Blandy

co-recursive podcast Ep. 13: Rust And Bitter C++ Developers With Jim Blandy

Rust And Bitter C++ Developers With Jim Blandy - CoRecursive Podcast

Interview with Edwin Brady on Idris and Type Driven Development