TY  - RPRT
TI  - Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
AU  - Eric Giovannini
AU  - Tingting Ding
AU  - Max S. New
PY  - 2025
DO  - 10.1145/3704863
UR  - https://arxiv.org/abs/2411.12822
ID  - 2411.12822
ER  -