Dependent types and design by contract - a podcast by Aaron Stump

Dependent types allow you to express contracts of functions in their types

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump