Altenkirch, Thorsten, Chamoun, Yorgo, Kaposi, Ambrus, Shulman, Michael, "Internal Parametricity, without an Interval", Proceedings of the ACM on Programming Languages, 2024