@article{giovannini_ding_new_2025,
 title = {Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory},
 author = {Giovannini, Eric and Ding, Tingting and New, Max S.},
 year = {2025},
 doi = {10.1145/3704863},
 url = {https://arxiv.org/abs/2411.12822},
 publisher = {ACM},
 journal = {Proceedings of the ACM on Programming Languages},
 volume = {9},
 number = {POPL},
 pages = {772--801}
}