Hackett, Jennifer, Hutton, Graham, "Parametric polymorphism and operational improvement", Proceedings of the ACM on Programming Languages, 2018