Reynolds 1983: polymorphic functions cannot inspect their type-arguments; gives free theorems (e.g., forall a. a -> a is identity); foundation of representation-independence.
Reynolds 1983: polymorphic functions cannot inspect their type-arguments; gives free theorems (e.g., forall a. a -> a is identity); foundation of representation-independence.