On the paper "Types, Abstraction, and Parametric Polymorphism" - a podcast by Aaron Stump
from 2021-01-31T22:10:42.023393
::
::
In this episode I discuss one of the greatest papers in the history of Programming Language's research, namely "Types, Abstraction, and Parametric Polymorphism" by the great John C. Reynolds. I summarize the two interconnected semantics for polymorphic...
Further episodes of Iowa Type Theory Commute
Further podcasts by Aaron Stump
Website of Aaron Stump