More on point-free programming and category theory - a podcast by Aaron Stump

A few basic ideas from category theory, and the problem of understanding very concise code

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump