Understanding Stable Mergesort Functions Using Relational Parametricity

The author presents a novel characterization of stable mergesort functions using relational parametricity, proving correctness for various mergesort variations. The approach involves replacing merge with concatenation to ensure stability.