Types should be erased for executing and reasoning about programs - a podcast by Aaron Stump

from 2021-01-31T22:10:42.023393

:: ::

Computation comes first, types come second

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump