Altenkirch, T., Chamoun, Y., Kaposi, A., & Shulman, M. (2024). Internal Parametricity, without an Interval. Proceedings of the ACM on Programming Languages, 8(POPL), 2340-2369. https://doi.org/10.1145/3632920