%0 Journal Article %1 journals/pacmpl/AltenkirchCKS24 %A Altenkirch, Thorsten %A Chamoun, Yorgo %A Kaposi, Ambrus %A Shulman, Michael %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 2340-2369 %T Internal Parametricity, without an Interval. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AltenkirchCKS24 %V 8

@article{journals/pacmpl/AltenkirchCKS24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Altenkirch, Thorsten and Chamoun, Yorgo and Kaposi, Ambrus and Shulman, Michael}, biburl = {https://www.bibsonomy.org/bibtex/276cdca8647af49fe3279a63e82174f43/dblp}, ee = {https://doi.org/10.1145/3632920}, interhash = {91cb097bffedbae5165a329e27583e56}, intrahash = {76cdca8647af49fe3279a63e82174f43}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {2340-2369}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Internal Parametricity, without an Interval.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#AltenkirchCKS24}, volume = 8, year = 2024 }