Gradual Typing for Effect Handlers. - Max S. New; Eric Giovannini; Daniel R. Licata (Proc. ACM Program. Lang., 2023)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version). - Eric Giovannini; Tingting Ding; Max S. New (CoRR, 2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory. - Eric Giovannini; Tingting Ding; Max S. New (Proc. ACM Program. Lang., 2025)