Point-free programming and category theory - a podcast by Aaron Stump

Relation of point-free functional programming to category theory.

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump