Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification

MLA

Moy, Cameron, et al. Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification. 2020. 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.2007.12630&authtype=sso&custid=ns315887.

APA

Moy, C., Nguyen, P. C., Tobin-Hochstadt, S., & Van Horn, D. (2020). Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.

Chicago

Moy, Cameron, Phúc C. Nguyen, Sam Tobin-Hochstadt, and David Van Horn. 2020. “Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.” 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.2007.12630&authtype=sso&custid=ns315887.