Trust, but Verify: Two-Phase Typing for Dynamic Languages release_ehfvzpml3zcrhofqddvitbfrfm

by Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala, Marc Herbstritt

Archived Files and Locations

application/pdf  643.3 kB
file_n5cf5whrlbatpjkoqx4coozrpa
ranjitjhala.github.io:80 (web)
web.archive.org (webarchive)
application/pdf  629.2 kB
file_7obh54i74fbotf72ajodmxqdci
goto.ucsd.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2015-06-26
Language   en ?
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 798d75f4-c3e3-4971-a44f-6318baa244d6
API URL: JSON