@article{altenkirch-2024-internal, title={Internal Parametricity, without an Interval}, volume={8}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3632920}, DOI={10.1145/3632920}, number={POPL}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Altenkirch, Thorsten and Chamoun, Yorgo and Kaposi, Ambrus and Shulman, Michael}, year={2024}, month=Jan, pages={2340–2369} }