Max S. New, Dustin Jamner, Amal Ahmed
Graduality and parametricity: together again for the first time
POPL, 2020.
@article{POPL-2020-NewJA,
author = "Max S. New and Dustin Jamner and Amal Ahmed",
doi = "10.1145/3371114",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "32",
publisher = "{ACM}",
title = "{Graduality and parametricity: together again for the first time}",
volume = 4,
year = 2020,
}