Introduction to Functional Programming - a podcast by Aaron Stump

Basic idea of functional programming, including three different kinds: with mutable state, without, and strong

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump