Example-Based Reasoning about the Realizability of Polymorphic Programs

Niek Mulleners, Johan Jeuring, Bastiaan Heeren

Parametricity states that polymorphic functions behave the same regardless of how they are instantiated. When developing polymorphic programs, Wadler's free theorems can serve as f…