Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)

MLA

Giovannini, Eric, et al. Denotational Semantics of Gradual Typing Using Synthetic Guarded Domain Theory (Extended Version). 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.12822&authtype=sso&custid=ns315887.

APA

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

Chicago

Giovannini, Eric, Tingting Ding, and Max S. New. 2024. “Denotational Semantics of Gradual Typing Using Synthetic Guarded Domain Theory (Extended Version).” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2411.12822&authtype=sso&custid=ns315887.