@article{new_ahmed_2018,
 title = {Graduality from Embedding-Projection Pairs},
 author = {New, Max S. and Ahmed, Amal},
 year = {2018},
 doi = {10.1145/3236768},
 url = {https://arxiv.org/abs/1807.02786},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {2},
 number = {ICFP},
 pages = {1--30}
}