APA (7th ed.) Citation

Giovannini, E., Ding, T., & New, M. S. (2024). Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version).

Chicago Style (17th ed.) Citation

Giovannini, Eric, Tingting Ding, and Max S. New. Denotational Semantics of Gradual Typing Using Synthetic Guarded Domain Theory (Extended Version). 2024.

MLA (9th ed.) Citation

Giovannini, Eric, et al. Denotational Semantics of Gradual Typing Using Synthetic Guarded Domain Theory (Extended Version). 2024.