Programming with indexed types using singletons - a podcast by Aaron Stump

Singleton types connect program expressions with value in the index domain

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump