GADTs for programming with representations of types - a podcast by Aaron Stump

Review of previous GADT examples we discussed, and a new one on runtime type representations

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump