Why go beyond GADTs? - a podcast by Aaron Stump

What are some reasons for true dependent types instead of GADTs? What are some language-design choices for going beyond GADTs?

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump