@article{new_jamner_ahmed_2020,
 title = {Graduality and Parametricity: Together Again for the First Time},
 author = {New, Max S. and Jamner, Dustin and Ahmed, Amal},
 year = {2020},
 doi = {10.1145/3371114},
 url = {https://dl.acm.org/doi/10.1145/3371114},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {4},
 number = {POPL},
 pages = {1--32}
}